Algoritmy pro výpočet grafu pokrytí hybridních Petriho sítí

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Algorithms for Computing Coverability Graphs for Hybrid Petri Nets
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Algorithms for Computing Coverability Graphs for Hybrid Petri Nets
Popis výsledku anglicky
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.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-7355-082-0
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
—
Název nakladatele
Masaryk University
Místo vydání
Brno
Místo konání akce
Znojmo
Datum konání akce
14. 11. 2008
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)