Sequentialization of timed Petri net behaviours

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F13%3A00422087" target="_blank" >RIV/67985840:_____/13:00422087 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
francouzština
Original language name
Séquentialisation du comportement des réseaux de Petri temporisés
Original language description
Ce papier s?intéresse ? la séquentialisation des séries formelles ? coef?cients dans le semi-anneau (R {}, max, +) qui représentent le comportement de réseaux de Petri temporisés bornés. Des méthodes existent pour modéliser les réseaux de Petri temporisés saufs par des automates (max,+). Les automates résultants sont presque toujours non déterministes et les procédures de déterminisation existantes ne peuvent que tr?s rarement leur ?tre appliquées. Ceci proscrit l?utilisation de certains résultats, notamment pour l?évaluation de performances et la commande. Nous présentons un semi-algorithme pour obtenir des automates (max,+) déterministes en se basant sur la sémantique des réseaux de Petri temporisés. Les automates obtenus peuvent ?tre in?nis, mais nous proposons une condition suf?sante pour assurer que le semi-algorithme termine et conduise ? un automate (max,+) déterministe ?ni. Lorsque le réseau considéré ne peut ?tre séquentialisé (car la procédure ne termine pas), nous proposons
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

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
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)