Detail publikace
State-space Exploration of Petri Nets
Petri net, analysis, enumeration technique, reachability graph, coverability graph, state-space explosion, enabled transition, indistiguishable markings
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.
@inproceedings{BUT18255,
author="Vladimír {Marek}",
title="State-space Exploration of Petri Nets",
booktitle="Proceedings of 39th International Conference MOSIS '05",
year="2005",
pages="114--119",
address="Ostrava",
isbn="80-86840-10-7"
}