Publication detail

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

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"
}