Modeling of timed Petri nets using deterministic (max,+) automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F14%3A00444400" target="_blank" >RIV/67985840:_____/14:00444400 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.3182/20140514-3-FR-4046.00091" target="_blank" >http://dx.doi.org/10.3182/20140514-3-FR-4046.00091</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3182/20140514-3-FR-4046.00091" target="_blank" >10.3182/20140514-3-FR-4046.00091</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Modeling of timed Petri nets using deterministic (max,+) automata
Popis výsledku v původním jazyce
Automata with weights (multiplicities) in (max,+) algebra form a class of timed automata. Determinism is a crucial property for numerous results on (max,+) automata and, in particular, for applications to performance evaluation and control of a large class of timed discrete event systems. In this paper, we show how to build a deterministic (max,+) automaton equivalent to a live and safe timed Petri net in which any oriented path between any two transitions contains at most one conflict place.
Název v anglickém jazyce
Modeling of timed Petri nets using deterministic (max,+) automata
Popis výsledku anglicky
Automata with weights (multiplicities) in (max,+) algebra form a class of timed automata. Determinism is a crucial property for numerous results on (max,+) automata and, in particular, for applications to performance evaluation and control of a large class of timed discrete event systems. In this paper, we show how to build a deterministic (max,+) automaton equivalent to a live and safe timed Petri net in which any oriented path between any two transitions contains at most one conflict place.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP103%2F11%2F0517" target="_blank" >GAP103/11/0517: Decentralizované supervizní řízení časovaných automatů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2014
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 12th International Workshop on Discrete Event Systems
ISBN
978-3-902823-61-8
ISSN
1474-6670
e-ISSN
—
Počet stran výsledku
6
Strana od-do
471-476
Název nakladatele
IFAC
Místo vydání
Paris
Místo konání akce
Paris
Datum konání akce
14. 5. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—