Publication Details

Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs

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.
Czech title
Výhody a nevýhody algoritmů analýzy hybridních Petriho sítí pomocí metody rozvinutí a grafu pokrytí
Type
conference paper
Language
english
Authors
Keywords

hybrid Petri nets, unfoldings, coverability graphs

Abstract

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.

Published
2015
Pages
183-184
Proceedings
Proceedings of the 15th International Conference on Computer Aided Systems Theory
Conference
Fifteenth International Conference on Computer Aided Systems Theory , Las Palmas de Gran Canaria, ES
ISBN
978-84-606-5438-4
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Universidad de Las Palmas de Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB10769,
   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 = "https://www.fit.vut.cz/research/publication/10769"
}
Back to top