Detail publikace

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

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

Jazyk

en

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.

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",
  annote="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.",
  address="The Universidad de Las Palmas de Gran Canaria",
  booktitle="Proceedings of the 15th International Conference on Computer Aided Systems Theory",
  chapter="119800",
  edition="NEUVEDEN",
  howpublished="print",
  institution="The Universidad de Las Palmas de Gran Canaria",
  year="2015",
  month="february",
  pages="183--184",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  type="conference paper"
}