Detail publikace

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD Petr a ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 543-550. ISSN 0302-9743.
Název česky
Metoda rozvinutí omezených hybridních Petriho sítí
Typ
článek v časopise
Jazyk
angličtina
Autoři
Klíčová slova

rozvinutí, hybridní Petriho sítě

Abstrakt
Metoda rozvinutí pro Petriho sítě je založená na částečném uspořádání výskytů přechodů v acyklickém orientovaném grafu. Tato metoda zjednodušuje analýzu a verifikaci vlastností Petriho sítí, zejména pro Petriho sítě s velkým počtem paralelních přechodů. Článek formalizuje metodu rozvinutí pro omezené spojité a hybridní Petriho sítě a uvádí algoritmus pro její výpočet.
Rok
2012
Strany
543-550
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 6927, ISSN 0302-9743
Vydavatel
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"
}
Nahoru