Modeling of safe timed Petri nets by two-level (max,+) automata

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F22%3A00564904" target="_blank" >RIV/67985840:_____/22:00564904 - isvavai.cz</a>

Výsledek na webu

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

DOI - Digital Object Identifier

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

Jazyk výsledku

angličtina

Název v původním jazyce

Modeling of safe timed Petri nets by two-level (max,+) automata

Popis výsledku v původním jazyce

In this paper it is shown that safe timed Petri nets (TPNs) with preselection semantics can be represented by deterministic two-level (max,+) automata (2l-MPA). In 2l-MPA, the outer dynamics, corresponding to the evolution of component clocks, is represented by deterministic Mealy automata with vector-valued outputs from (max,+) semiring. The outer dynamics is then adjusted by inner dynamics corresponding to synchronizations, which are implemented through scalar-like multiplication of the coefficients by symmetric Boolean matrices. These Boolean matrices encode synchronization among the state machines components. The previous approaches encoded either safe TPNs under preselection policy as nondeterministic (max,+) automata, or TPNs under (more restrictive) race policy as deterministic (max,+) automata.

Název v anglickém jazyce

Modeling of safe timed Petri nets by two-level (max,+) automata

Popis výsledku anglicky

In this paper it is shown that safe timed Petri nets (TPNs) with preselection semantics can be represented by deterministic two-level (max,+) automata (2l-MPA). In 2l-MPA, the outer dynamics, corresponding to the evolution of component clocks, is represented by deterministic Mealy automata with vector-valued outputs from (max,+) semiring. The outer dynamics is then adjusted by inner dynamics corresponding to synchronizations, which are implemented through scalar-like multiplication of the coefficients by symmetric Boolean matrices. These Boolean matrices encode synchronization among the state machines components. The previous approaches encoded either safe TPNs under preselection policy as nondeterministic (max,+) automata, or TPNs under (more restrictive) race policy as deterministic (max,+) automata.

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

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

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 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022

ISBN

—

ISSN

2405-8963

e-ISSN

—

Počet stran výsledku

8

Strana od-do

212-219

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Místo konání akce

Prague

Datum konání akce

7. 9. 2022

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

WRD - Celosvětová akce

Kód UT WoS článku

000877003700030