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: Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013, s. 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
angličtina
Autoři
Novosad Petr, Ing. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
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
Konference
Fourteenth International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-642-53855-1
Vydavatel
Springer Verlag
Místo
Berín, DE
BibTeX 
@INPROCEEDINGS{FITPUB10357,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets",
   pages = "428--435",
   booktitle = "Computer Aided System Theory -EUROCAST 2013 - revised selected papers",
   series = "Lecture Notes in Computer Science",
   year = 2013,
   location = "Ber\'{i}n, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-53855-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10357"
}
Nahoru