Počet záznamů: 1
Séquentialisation du comportement des réseaux de Petri temporisés
- 1.
SYSNO ASEP 0422087 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Ostatní články Název Séquentialisation du comportement des réseaux de Petri temporisés Překlad názvu Sequentialization of timed Petri net behaviours Tvůrce(i) Boimond, J.-L. (FR)
Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)Zdroj.dok. Journal Européen des Systèmes Automatisés - ISSN 1269-6935
Roč. 47, 1-3 (2013), s. 139-154Poč.str. 16 s. Forma vydání Tištěná - P Akce Modélisation des Systèmes Réactifs (MSR) 2013 Datum konání 13.11.2013-15.11.2013 Místo konání Rennes Země FR - Francie Typ akce WRD Jazyk dok. fre - francouzština Země vyd. FR - Francie Klíč. slova timed Petri nets ; (max,+) automata ; race policy Vědní obor RIV BA - Obecná matematika CEP GAP103/11/0517 GA ČR - Grantová agentura ČR Institucionální podpora MU-W - RVO:67985840 Anotace Ce papier s’intéresse à la séquentialisation des séries formelles à coefficients 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 infinis, mais nous proposons une condition suffisante pour assurer que le semi-algorithme termine et conduise à un automate (max,+) déterministe fini. Lorsque le réseau considéré ne peut être séquentialisé (car la procédure ne termine pas), nous proposons de restreindre le comportement logique du réseau de sorte à assurer la séquentialisation. Překlad anotace In this paper we are interested in sequentialization of formal power series with coefficients in the semiring (R {−∞}, max, +) which represent the behavior of timed Petri nets. Several approaches make it possible to derive nondeterministic (max,+) automata modeling safe timed Petri nets. Their nondeterminism is a serious drawback since determinism is a crucial property for numerous results on (max,+) automata (in particular, for applications to performance evaluation and control) and existing procedures for determinization succeed only for restrictive classes of (max,+) automata. We present a natural semi-algorithm for determinization of behaviors based on the semantics of timed Petri nets. The resulting deterministic (max,+)-automata are often infinite, but a sufficient condition is proposed to ensure that the semi-algorithm terminates and leads to a finite state deterministic (max,+)-automaton. Moreover, if the net cannot be sequentialized we propose a restriction of its logical behavior so that the sufficient condition becomes satisfied for the restricted net. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2014
Počet záznamů: 1