Výzkum stavových prostorů Petriho sítí

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56514" target="_blank" >RIV/00216305:26230/05:PU56514 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

State-space Exploration of Petri Nets

Popis výsledku v původním jazyce

Petri nets are used as basic models in modeling, simulation and verification of discrete-event systems and concurrent systems. Petri nets analysis methods based on state-space exploration deal with the state-space explosion problem and the infineteness of the state space. A new approach to a finite representation of the infinite state space, similar to coverability graphs, is presented in this article. Its principle is based on aggregation of such states (markings) which enable the same set of transitioons. The aggregated markings form a class of indistinguishable markings. An algorithm for computation classes of markings is shown.

Název v anglickém jazyce

State-space Exploration of Petri Nets

Popis výsledku anglicky

Petri nets are used as basic models in modeling, simulation and verification of discrete-event systems and concurrent systems. Petri nets analysis methods based on state-space exploration deal with the state-space explosion problem and the infineteness of the state space. A new approach to a finite representation of the infinite state space, similar to coverability graphs, is presented in this article. Its principle is based on aggregation of such states (markings) which enable the same set of transitioons. The aggregated markings form a class of indistinguishable markings. An algorithm for computation classes of markings is shown.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2005

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of 39th International Conference MOSIS '05

ISBN

80-86840-10-7

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

114-119

Název nakladatele

NEUVEDEN

Místo vydání

Ostrava

Místo konání akce

Hradec nad Moravicí

Datum konání akce

19. 4. 2005

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—