Detail publikace

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2013. p. 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
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
Klíčová slova

Hybrid Petri Nets, unfoldings, complete finite prefix.

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
ISBN
84-695-6971-6
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Gran Canaria
BibTeX 
@inproceedings{BUT103432,
  author="Petr {Novosad} and Milan {Češka}",
  title="Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets",
  booktitle="Proc. of Computer Aided System Theory 2013",
  year="2013",
  pages="244--245",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Gran Canaria",
  isbn="84-695-6971-6"
}
Nahoru