Faculty of Information Technology, BUT

Publication Details

State-space Exploration of Petri Nets

MAREK Vladimír. State-space Exploration of Petri Nets. In: Proceedings of 39th International Conference MOSIS '05. Ostrava, 2005, pp. 114-119. ISBN 80-86840-10-7.
Czech title
Výzkum stavových prostorů Petriho sítí
Type
conference paper
Language
english
Authors
Marek Vladimír, Ing. (DITS FIT BUT)
Keywords
Petri net, analysis, enumeration technique, reachability graph, coverability graph, state-space explosion, enabled transition, indistiguishable markings
Abstract
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 transitions. The aggregated markings form a class of indistinguishable markings. An algorithm for computation classes of markings is shown.
Published
2005
Pages
114-119
Proceedings
Proceedings of 39th International Conference MOSIS '05
Conference
MOSIS2005 - 39th Spring International Conference on Modelling and Simulation of Systems , Hradec nad Moravicí, CZ
ISBN
80-86840-10-7
Place
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"
}
Back to top