Unfoldings of Bounded Hybrid Petri Nets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F11%3APU95979" target="_blank" >RIV/00216305:26230/11:PU95979 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Unfoldings of Bounded Hybrid Petri Nets
Popis výsledku v původním jazyce
The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.
Název v anglickém jazyce
Unfoldings of Bounded Hybrid Petri Nets
Popis výsledku anglicky
The unfolding is a useful partial-order method for analysis and verification of the hybrid Petri net properties.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 13th International Conference on Computer Aided Systems Theory
ISBN
978-84-693-9560-8
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
334-335
Název nakladatele
The Universidad de Las Palmas de Gran Canaria
Místo vydání
Universidad de Las Palmas de Canaria
Místo konání akce
Las Palmas de Gran Canaria, Canary Islands
Datum konání akce
6. 2. 2011
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—