Modeling of safe time Petri nets by interval weighted automata

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F20%3A00542547" target="_blank" >RIV/67985840:_____/20:00542547 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.ifacol.2021.04.018" target="_blank" >http://dx.doi.org/10.1016/j.ifacol.2021.04.018</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.ifacol.2021.04.018" target="_blank" >10.1016/j.ifacol.2021.04.018</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Modeling of safe time Petri nets by interval weighted automata

Popis výsledku v původním jazyce

Weighted automata with weights (multiplicities) in the product semirings can be viewed as alternative models for timed systems, where concurrent time behaviors are modeled using nondeterminism, while in timed automata using multiple clocks. It is known that safe timed Petri nets can be modeled by means of (max,+) automata, i.e. weighted automata in the (max,+) semiring. We present here a direct way of deriving interval weighted automata with weights in two different product semirings from both safe P-time and safe T-time Petri nets. It is well known that these two classes of time Petri nets are not comparable as opposed to timed Petri nets with deterministic timing of transitions. In terms of weighted automata we need to consider different underlying semirings, namely the product of (max,+) and (min,+) semirings for P-time Petri nets and the product of (max,+) semiring with itself for T-time Petri nets.

Název v anglickém jazyce

Modeling of safe time Petri nets by interval weighted automata

Popis výsledku anglicky

Weighted automata with weights (multiplicities) in the product semirings can be viewed as alternative models for timed systems, where concurrent time behaviors are modeled using nondeterminism, while in timed automata using multiple clocks. It is known that safe timed Petri nets can be modeled by means of (max,+) automata, i.e. weighted automata in the (max,+) semiring. We present here a direct way of deriving interval weighted automata with weights in two different product semirings from both safe P-time and safe T-time Petri nets. It is well known that these two classes of time Petri nets are not comparable as opposed to timed Petri nets with deterministic timing of transitions. In terms of weighted automata we need to consider different underlying semirings, namely the product of (max,+) and (min,+) semirings for P-time Petri nets and the product of (max,+) semiring with itself for T-time Petri nets.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

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

IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020

ISBN

—

ISSN

2405-8963

e-ISSN

—

Počet stran výsledku

6

Strana od-do

187-192

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Místo konání akce

Rio de Janeiro

Datum konání akce

11. 11. 2020

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000651644000028