Modeling of safe time Petri nets by interval weighted automata
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Modeling of safe time Petri nets by interval weighted automata
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
20205 - Automation and control systems
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020
ISBN
—
ISSN
2405-8963
e-ISSN
—
Number of pages
6
Pages from-to
187-192
Publisher name
Elsevier
Place of publication
Amsterdam
Event location
Rio de Janeiro
Event date
Nov 11, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000651644000028