Detail publikace

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 334-335. ISBN: 978-84-693-9560-8.
Název česky
Metoda rozvinutí pro omezené hybridní 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

Unfoldings, hybrid Petri net

Abstrakt

Metoda rozvinutí pro spojité a hybridní
Petriho sítě využívající částečného uspořádání výskytů
přechodů v acyklickém orientovaném grafu zobrazuje potenciálně nekonečný
stavový prostor pomocí konečného prefixu.

Rok
2011
Strany
334–335
Sborník
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference
13. mezinárodní konference EUROCAST, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria
BibTeX 
@inproceedings{BUT76276,
  author="Petr {Novosad} and Milan {Češka}",
  title="Unfoldings of Bounded Hybrid Petri Nets",
  booktitle="Proceedings of the 13th International Conference on Computer Aided Systems Theory",
  year="2011",
  pages="334--335",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Canaria",
  isbn="978-84-693-9560-8"
}
Nahoru