Detail publikace

Unfoldings of Bounded Hybrid Petri Nets

NOVOSAD Petr a ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 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
angličtina
Autoři
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
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB9489,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Unfoldings of Bounded Hybrid Petri Nets",
   pages = "334--335",
   booktitle = "Proceedings of the 13th International Conference on Computer Aided Systems Theory",
   year = 2011,
   location = "Universidad de Las Palmas de Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-693-9560-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9489"
}
Nahoru