Algorithms for Computing Coverability Graphs for Hybrid Petri Nets

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU78086" target="_blank" >RIV/00216305:26230/08:PU78086 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Algorithms for Computing Coverability Graphs for Hybrid Petri Nets
Original language description
A useful method for Petri nets analysis is based on a coverability tree or a coverability graph that represents a state space of a system. The paper formalizes the concept of the coverability graphs for autonomous hybrid Petri nets and introduces algorithms for their computing. Algorithms for bounded and unbounded hybrid Petri nets are presented. Every algorithm is accompanied with an example.
Czech name
Algoritmy pro výpočet grafu pokrytí hybridních Petriho sítí
Czech description
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.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-082-0
ISSN
—
e-ISSN
—
Number of pages
7
Pages from-to
—
Publisher name
Masaryk University
Place of publication
Brno
Event location
Znojmo
Event date
Nov 14, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)