Conference paper

NOVOSAD Petr and Č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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 334-335. ISBN 978-84-693-9560-8.
Publication language:english
Original title:Unfoldings of Bounded Hybrid Petri Nets
Title (cs):Metoda rozvinutí pro omezené hybridní Petriho sítě
Pages:334-335
Proceedings:Proceedings of the 13th International Conference on Computer Aided Systems Theory
Conference:Thirteen International Conference On Computer Aided Systems Theory
Place:Universidad de Las Palmas de Canaria, ES
Year:2011
ISBN:978-84-693-9560-8
Publisher:The Universidad de Las Palmas de Gran Canaria
Keywords
Unfoldings, hybrid Petri net
Annotation
The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=9489}
}

Your IPv4 address: 54.81.6.121
Switch to IPv6 connection

DNSSEC [dnssec]