Sequentialization of timed Petri net behaviours
Result description
In this paper we are interested in sequentialization of formal power series with coef?cients in the semiring (R {}, max, +) which represent the behavior of timed Petri nets. Several approaches make it possible to derive nondeterministic (max,+) automatamodeling 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 in?nite, but a suf?cient condition is proposed to ensure that the semi-algorithm terminates and leads to a ?nite state deterministic (max,+)-automaton. Moreover, if the net cannot be sequentialized we propose a restriction of its logical behavior s
Keywords
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
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
—
Classification
Type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
GAP103/11/0517: Decentralized supervisory control of timed automata
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2013
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
Name of the periodical
Journal Européen des Syst?mes Automatisés
ISSN
1269-6935
e-ISSN
—
Volume of the periodical
47
Issue of the periodical within the volume
1-3
Country of publishing house
FR - FRANCE
Number of pages
16
Pages from-to
139-154
UT code for WoS article
—
EID of the result in the Scopus database
—
Result type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP
BA - General mathematics
Year of implementation
2013