Journal article

NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science. 2012, vol. 2012, no. 6927, pp. 543-550. ISSN 0302-9743.
Publication language:english
Original title:Unfoldings of Bounded Hybrid Petri Nets
Title (cs):Metoda rozvinutí omezených hybridních Petriho sítí
Journal:Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE
unfoldings, hybrid Petri nets
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.
   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 = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]