Detail publikace

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 543-550. ISSN: 0302-9743.
Název česky
Metoda rozvinutí omezených hybridních Petriho sítí
Typ
článek v časopise
Jazyk
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
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
BibTeX 
@article{BUT91474,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="6927",
  pages="543--550",
  issn="0302-9743"
}
Nahoru