Modeling of timed Petri nets using deterministic (max,+) automata

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F14%3A00444400" target="_blank" >RIV/67985840:_____/14:00444400 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.3182/20140514-3-FR-4046.00091" target="_blank" >http://dx.doi.org/10.3182/20140514-3-FR-4046.00091</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3182/20140514-3-FR-4046.00091" target="_blank" >10.3182/20140514-3-FR-4046.00091</a>

Result language
angličtina
Original language name
Modeling of timed Petri nets using deterministic (max,+) automata
Original language description
Automata with weights (multiplicities) in (max,+) algebra form a class of timed automata. Determinism is a crucial property for numerous results on (max,+) automata and, in particular, for applications to performance evaluation and control of a large class of timed discrete event systems. In this paper, we show how to build a deterministic (max,+) automaton equivalent to a live and safe timed Petri net in which any oriented path between any two transitions contains at most one conflict place.
Czech name
—
Czech description
—

Project
<a href="/en/project/GAP103%2F11%2F0517" target="_blank" >GAP103/11/0517: Decentralized supervisory control of timed automata</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 12th International Workshop on Discrete Event Systems
ISBN
978-3-902823-61-8
ISSN
1474-6670
e-ISSN
—
Number of pages
6
Pages from-to
471-476
Publisher name
IFAC
Place of publication
Paris
Event location
Paris
Event date
May 14, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)