Conference paper

NOVOSAD Petr and ČEŠKA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 183-184. ISBN 978-84-606-5438-4.
Publication language:english
Original title:Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs
Title (cs):Výhody a nevýhody algoritmů analýzy hybridních Petriho sítí pomocí metody rozvinutí a grafu pokrytí
Pages:183-184
Proceedings:Proceedings of the 15th International Conference on Computer Aided Systems Theory
Conference:Fifteenth International Conference on Computer Aided Systems Theory
Place:Universidad de Las Palmas de Canaria, ES
Year:2015
ISBN:978-84-606-5438-4
Publisher:The Universidad de Las Palmas de Gran Canaria
Keywords
hybrid Petri nets, unfoldings, coverability graphs
Annotation
Hybrid Petri nets provide powerful analysis techniques such as unfoldings and coverability graphs. Both methods can cope well with so called state space explosion problem by some degree of abstraction. This contribution compares analysis approaches of the unfoldings and the coverability graphs.
BibTeX:
@INPROCEEDINGS{
   author = {Petr Novosad and Milan {\v{C}}e{\v{s}}ka},
   title = {Advantages and Drawbacks of Algorithms for Analysing Hybrid
	Petri Nets by Computing Unfoldings and Coverability Graphs},
   pages = {183--184},
   booktitle = {Proceedings of the 15th International Conference on Computer
	Aided Systems Theory},
   year = {2015},
   location = {Universidad de Las Palmas de Canaria, ES},
   publisher = {The Universidad de Las Palmas de Gran Canaria},
   ISBN = {978-84-606-5438-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10769}
}

Your IPv4 address: 54.145.51.250
Switch to IPv6 connection

DNSSEC [dnssec]