Result Details

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.
Type
conference paper
Language
English
Authors
Novosad Petr, Ing., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
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

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
ISBN
978-84-606-5438-4
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
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"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Departments
Department of Intelligent Systems (DITS)
Back to top