Publication Details

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 543-550. ISSN 0302-9743.
Czech title
Metoda rozvinutí omezených hybridních Petriho sítí
Type
journal article
Language
english
Authors
Keywords

unfoldings, hybrid Petri nets

Abstract
The unfolding is a useful partial-order based method for analysis and verification of the Petri net properties. This technique can cope well with the so-called state space explosion problem, especially for the Petri nets with a lot of concurrency. The paper formalizes the concept of the unfolding for bounded hybrid Petri nets and introduces the algorithm for its computing.
Published
2012
Pages
543-550
Journal
Lecture Notes in Computer Science, vol. 2012, no. 6927, ISSN 0302-9743
Publisher
Springer Verlag
BibTeX
@ARTICLE{FITPUB9906,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Unfoldings of Bounded Hybrid Petri Nets",
   pages = "543--550",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 6927,
   year = 2012,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9906"
}
Back to top