Detail výsledku

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.
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 hybrid Petri nets and introduces algorithms for their computing. Every algorithm is accompanied with an example. Algorithms for the bounded and unbounded hybrid Petri nets are presented.

Klíčová slova

Hybrid 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í 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
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"
}
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