Přístupnostní navigace
E-application
Search Search Close
Publication detail
NOVOSAD, P. ČEŠKA, M.
Original Title
Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs
Type
article in a collection out of WoS and Scopus
Language
English
Original 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.
Keywords
hybrid Petri nets, unfoldings, coverability graphs
Authors
NOVOSAD, P.; ČEŠKA, M.
RIV year
2015
Released
8. 2. 2015
Publisher
The Universidad de Las Palmas de Gran Canaria
Location
Universidad de Las Palmas de Canaria
ISBN
978-84-606-5438-4
Book
Proceedings of the 15th International Conference on Computer Aided Systems Theory
Pages from
183
Pages to
184
Pages count
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" }