Representation of time Petri nets using interval weighted 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_____%2F23%3A00578406" target="_blank" >RIV/67985840:_____/23:00578406 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1109/CoDIT58514.2023.10284333" target="_blank" >https://doi.org/10.1109/CoDIT58514.2023.10284333</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/CoDIT58514.2023.10284333" target="_blank" >10.1109/CoDIT58514.2023.10284333</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Representation of time Petri nets using interval weighted automata
Popis výsledku v původním jazyce
Interval Weighted Automata are a modeling formalism for timed systems that can be viewed as an alternative (more algebraic) to timed automata. We present here a way of deriving a deterministic interval weighted automaton to represent any bounded T-time Petri net subject to strong and single-server semantics. This approach consequently contributes to the characterization of the expressiveness of weighted automata with respect to other formalisms for timed Discrete Event Systems. In addition, the time language of the obtained abstraction has the characteristics of being included or equal to the time language of the T-time Petri net, and, in other words, any accessible state in the obtained Interval Weighted Automaton corresponds to an equally accessible state in the T-time Petri net. This property should allow the future use of this abstraction for the verification of properties that are expressed as an accessibility issue and/or for control.
Název v anglickém jazyce
Representation of time Petri nets using interval weighted automata
Popis výsledku anglicky
Interval Weighted Automata are a modeling formalism for timed systems that can be viewed as an alternative (more algebraic) to timed automata. We present here a way of deriving a deterministic interval weighted automaton to represent any bounded T-time Petri net subject to strong and single-server semantics. This approach consequently contributes to the characterization of the expressiveness of weighted automata with respect to other formalisms for timed Discrete Event Systems. In addition, the time language of the obtained abstraction has the characteristics of being included or equal to the time language of the T-time Petri net, and, in other words, any accessible state in the obtained Interval Weighted Automaton corresponds to an equally accessible state in the T-time Petri net. This property should allow the future use of this abstraction for the verification of properties that are expressed as an accessibility issue and/or for control.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20205 - Automation and control systems
Návaznosti výsledku
Projekt
<a href="/cs/project/GC19-06175J" target="_blank" >GC19-06175J: Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2023
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
9th International Conference on Control, Decision and Information Technologies (CoDIT)
ISBN
979-8-3503-1141-9
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
"Č. 99"
Název nakladatele
IEEE
Místo vydání
Los Alamitos
Místo konání akce
Rome
Datum konání akce
3. 7. 2023
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—