Detail publikace

Algorithms for Computing Coverability Graphs for Continuous Petri Nets

NOVOSAD Petr a ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. In: Proceedings of 22th European Simulation and Modelling Conference ESM'2008. EUROSIS-ETI Publications. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008, s. 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
angličtina
Autoři
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
Konference
The European Simulation and Modelling Conference - ESM'2008, Universite du Havre, Le Havre, France, FR
ISBN
978-90-77381-44-1
Vydavatel
EUROSIM-FRANCOSIM-ARGESIM
Místo
Le Havre, FR
BibTeX
@INPROCEEDINGS{FITPUB8824,
   author = "Petr Novosad and Milan \v{C}e\v{s}ka",
   title = "Algorithms for Computing Coverability Graphs for Continuous Petri Nets",
   pages = "489--491",
   booktitle = "Proceedings of 22th European Simulation and Modelling Conference ESM'2008",
   series = "EUROSIS-ETI Publications",
   year = 2008,
   location = "Le Havre, FR",
   publisher = "EUROSIM-FRANCOSIM-ARGESIM",
   ISBN = "978-90-77381-44-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8824"
}
Nahoru