Detail publikace

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

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