Detail publikace

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.
Název česky
Výhody a nevýhody algoritmů analýzy hybridních Petriho sítí pomocí metody rozvinutí a grafu pokrytí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
Klíčová slova

hybrid Petri nets, unfoldings, coverability graphs

Abstrakt

Mezi důležité nástroje pro analýzu hybridních Petriho sítí patří metoda rozvinutí a graf pokrytí. Obě tyto metody dokáží zobrazit nekonečný stavový prostor daných sítí pomocí konečné sítě, resp. grafu s využitím určitých abstrakcí. V tomto článku porovnáváme výhody a nevýhody obou metod.

Rok
2015
Strany
183–184
Sborník
Proceedings of the 15th International Conference on Computer Aided Systems Theory
Konference
Fifteenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-84-606-5438-4
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
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"
}
Nahoru