Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Novosad Petr, Ing., FIT (FIT), UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt

The paper formalizes the concept of the coverability graphs for autonomous continuous Petri nets and introduces algorithms for their computing. Every algorithm is accompanied with an example. Algorithms for the bounded and unbounded continuous Petri nets are presented.

Klíčová slova

Continuous Petri Net, Coverability Graph, Algorithm.

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
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"
}
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru