Detail publikace

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Proceedings of Computer Aided Systems Theory - EUROCAST 2011. LNCS. Berlin: Springer Verlag, 2011. p. 1-8. ISBN: 978-84-693-9560-8.
Název česky
Metoda rozvinutí omezených hybridních Petriho sítí
Typ
článek ve sborníku konference
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
2011
Strany
1–8
Sborník
Proceedings of Computer Aided Systems Theory - EUROCAST 2011
Řada
LNCS
Konference
13. mezinárodní konference EUROCAST, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT76349,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  booktitle="Proceedings of Computer Aided Systems Theory - EUROCAST 2011",
  year="2011",
  series="LNCS",
  pages="1--8",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-84-693-9560-8"
}
Nahoru