Detail publikace

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

NOVOSAD Petr a ČEŠKA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 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
angličtina
Autoři
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
Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB10769,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs",
   pages = "183--184",
   booktitle = "Proceedings of the 15th International Conference on Computer Aided Systems Theory",
   year = 2015,
   location = "Universidad de Las Palmas de Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-606-5438-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10769"
}
Nahoru