Detail výsledku

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

NOVOSAD, P.; ČEŠKA, M. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. 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. p. 183-184. ISBN: 978-84-606-5438-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Novosad Petr, Ing., UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
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

Rok
2015
Strany
183–184
Sborník
Proceedings of the 15th International Conference on Computer Aided Systems Theory
Konference
Fifteenth International Conference on Computer Aided Systems Theory
ISBN
978-84-606-5438-4
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru