Detail publikace

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets

NOVOSAD Petr a ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: Universidad de Las Palmas de Gran Canaria, 2013, s. 244-245. ISBN 84-695-6971-6.
Název česky
Algoritmus pro výpočet rozvojů neomezených hybridních Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Článek popisuje přístup pro výpočet rozvojů neomezených hybridních Petriho sítí. Rozvoj je užitečná metoda pro analýzu a verifikaci vlastností Petriho sítí. Motivací pro zavedení rozvojů do hybridních Petriho sítí je dobré zvládnutí problému stavové exploze pro sítě s velkou mírou paralelizace. Tento článek rozšiřuje naši předchozí práci, formalizuje koncept rozvojů pro autonomní hybridní Petriho sítě a představuje algoritmus jejich výpočtu.

Rok
2013
Strany
244-245
Sborník
Proc. of Computer Aided System Theory 2013
Konference
Fourteenth International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
84-695-6971-6
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Gran Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB10185,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets",
   pages = "244--245",
   booktitle = "Proc. of Computer Aided System Theory 2013",
   year = 2013,
   location = "Universidad de Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "84-695-6971-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10185"
}
Nahoru