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
Novosad Petr, Ing. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
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