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
Novosad Petr, Ing. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
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