Detail publikace

Algorithms for Computing Coverability Graphs for Hybrid Petri Nets

NOVOSAD, P.; ČEŠKA, M. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008. p. 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
anglicky
Autoři
Novosad Petr, Ing.
Češka Milan, prof. RNDr., CSc.
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
ISBN
978-80-7355-082-0
Vydavatel
Masaryk University
Místo
Brno
BibTeX 
@inproceedings{BUT30728,
  author="Petr {Novosad} and Milan {Češka}",
  title="Algorithms for Computing Coverability Graphs for Hybrid Petri Nets",
  booktitle="4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2008",
  pages="177--183",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-7355-082-0"
}
Nahoru