Detail publikace

Algorithms for Computing Coverability Graphs for Hybrid Petri Nets

NOVOSAD Petr a ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2008, s. 177-183. ISBN 978-80-7355-082-0.
Název česky
Algoritmy pro výpočet grafu pokrytí hybridních Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova

Hybridní Petriho sítě, graf pokrytí, algoritmus.

Abstrakt

Článek zavádí graf pokrytí pro hybridní Petriho sítě a popisuje algoritmy pro jejich výpočet. Pozornost je věnována omezeným i neomezeným hybridním Petriho sítím. Jednotlivé algoritmy jsou doprovázeny ilustračními příklady.

Anotace

Užitečné metody pro analýzu Petriho sítí jsou založeny na stromě pokrytí nebo grafu pokrytí, které reprezentují stavový prostor systému. Článek formalizuje koncept grafů pokrytí pro autonomní hybridní Petriho sítě a uvádí algoritmy pro jejich výpočet. Prezentovány jsou algoritmy pro omezené i neomezené hybridní Petriho sítě. U každého algoritmu je uveden příklad.

Rok
2008
Strany
177-183
Sborník
4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'08 -- 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ
ISBN
978-80-7355-082-0
Vydavatel
Masarykova universita
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB8825,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Algorithms for Computing Coverability Graphs for Hybrid Petri Nets",
   pages = "177--183",
   booktitle = "4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2008,
   location = "Brno, CZ",
   publisher = "Masaryk University",
   ISBN = "978-80-7355-082-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8825"
}
Nahoru