Modeling of safe time Petri nets by interval weighted automata

0542547 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lai, Aiwen - Godoy Soto, José Damián - Lahaye, S. - Boimond, J.-L.
Modeling of safe time Petri nets by interval weighted automata.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 187-192. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: P-time Petri nets * T-time Petri nets * interval weighted automata
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.018

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.
Trvalý link: http://hdl.handle.net/11104/0319935