Detail publikace

Algorithms for Computing Coverability Graphs for Continuous Petri Nets

NOVOSAD, P.; ČEŠKA, M. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. Proceedings of 22th European Simulation and Modelling Conference ESM'2008. EUROSIS-ETI Publications. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008. p. 489-491. ISBN: 978-90-77381-44-1.
Název česky
Algoritmy pro výpočet grafu pokrytí spojitý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

Spojité Petriho sítě, graf pokrytí, algoritmus.

Abstrakt

Článek zavádí graf pokrytí pro spojité Petriho sítě a popisuje algoritmy pro jejich výpočet. Pozornost je věnována omezeným i neomezeným spojitý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í spojité Petriho sítě a uvádí algoritmy pro jejich výpočet. Prezentovány jsou algoritmy pro omezené i neomezené spojité Petriho sítě. U každého algoritmu je uveden příklad. Dále je popsán nový koncept znaménkového spojitého makro-značení pro omezené spojité Petriho sítě.

Rok
2008
Strany
489–491
Sborník
Proceedings of 22th European Simulation and Modelling Conference ESM'2008
Řada
EUROSIS-ETI Publications
ISBN
978-90-77381-44-1
Vydavatel
EUROSIM-FRANCOSIM-ARGESIM
Místo
Le Havre
BibTeX 
@inproceedings{BUT33443,
  author="Petr {Novosad} and Milan {Češka}",
  title="Algorithms for Computing Coverability Graphs for Continuous Petri Nets",
  booktitle="Proceedings of 22th European Simulation and Modelling Conference ESM'2008",
  year="2008",
  series="EUROSIS-ETI Publications",
  pages="489--491",
  publisher="EUROSIM-FRANCOSIM-ARGESIM",
  address="Le Havre",
  isbn="978-90-77381-44-1"
}
Nahoru