Journal Articles

Novosad, P., Češka, M.: Unfoldings of Bounded Hybrid Petri Nets, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 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í
Pages:543-550
Place:DE
Year:2012
Journal:Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE
ISSN:0302-9743
Keywords
unfoldings, hybrid Petri nets
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Petr Novosad and Milan Češ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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9906}
}

Your IPv4 address: 50.16.17.90
Switch to IPv6 connection

DNSSEC [dnssec]