Detail publikace

State-space Exploration of Petri Nets

MAREK Vladimír. State-space Exploration of Petri Nets. In: Proceedings of 39th International Conference MOSIS '05. Ostrava: MARQ, 2005, s. 114-119. ISBN 80-86840-10-7.
Název česky
Výzkum stavových prostorů Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Marek Vladimír, Ing. (UITS FIT VUT)
Abstrakt

Petriho sítě jsou základním modelovacím prostředkem v oblastech modelování, simulace a verifikace systémů s diskrétním časem a paralelních systémů. Metody analýzy Petriho sítí založené na prohledávání stavového prostoru jsou limitovány stavovou explozí a potenciálně nekonečným počtem stavů. Tento článek představuje nový přístup ke konečné reprezentaci nekonečného stavového prostoru, který je obdobou grafů pokrytí. Základním principem je agregace těch stavů (značení), které  povolují provedení stejné množiny přechodů. Agregované stavy tvoří třídu nerozlišitelných stavů. Článek obsahuje algoritmus pro výpočet těchto tříd.

Rok
2005
Strany
114-119
Sborník
Proceedings of 39th International Conference MOSIS '05
Konference
MOSIS2005 - 39th Spring International Conference on Modelling and Simulation of Systems , Hradec nad Moravicí, CZ
ISBN
80-86840-10-7
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7906,
   author = "Vladim\'{i}r Marek",
   title = "State-space Exploration of Petri Nets",
   pages = "114--119",
   booktitle = "Proceedings of 39th International Conference MOSIS '05",
   year = 2005,
   location = "Ostrava, CZ",
   ISBN = "80-86840-10-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7906"
}
Nahoru