Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
NOVOSAD, P. ČEŠKA, M.
Originální název
Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
hybrid Petri nets, unfoldings, coverability graphs
Autoři
NOVOSAD, P.; ČEŠKA, M.
Rok RIV
2015
Vydáno
8. 2. 2015
Nakladatel
The Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria
ISBN
978-84-606-5438-4
Kniha
Proceedings of the 15th International Conference on Computer Aided Systems Theory
Strany od
183
Strany do
184
Strany počet
2
BibTex
@inproceedings{BUT119800, author="Petr {Novosad} and Milan {Češka}", title="Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs", booktitle="Proceedings of the 15th International Conference on Computer Aided Systems Theory", year="2015", pages="183--184", publisher="The Universidad de Las Palmas de Gran Canaria", address="Universidad de Las Palmas de Canaria", isbn="978-84-606-5438-4" }