Detail publikačního výsledku

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

hybrid Petri nets, unfoldings, coverability graphs

Autoři

NOVOSAD, P.; ČEŠKA, M.

Rok RIV

2016

Vydáno

08.02.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

Plný text v Digitální knihovně

http://hdl.handle.net/

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