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. Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013. p. 428-435. ISBN: 978-3-642-53855-1.
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.

Anotace

Č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
428–435
Sborník
Computer Aided System Theory -EUROCAST 2013 - revised selected papers
Řada
Lecture Notes in Computer Science
ISBN
978-3-642-53855-1
Vydavatel
Springer Verlag
Místo
Berín
BibTeX 
@inproceedings{BUT103511,
  author="Petr {Novosad} and Milan {Češka}",
  title="Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets",
  booktitle="Computer Aided System Theory -EUROCAST 2013 - revised selected papers",
  year="2013",
  series="Lecture Notes in Computer Science",
  pages="428--435",
  publisher="Springer Verlag",
  address="Berín",
  isbn="978-3-642-53855-1"
}
Nahoru