Sequentialization of timed Petri net behaviours

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

francouzština

Název v původním jazyce

Séquentialisation du comportement des réseaux de Petri temporisés

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Sequentialization of timed Petri net behaviours

Popis výsledku anglicky

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

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP103%2F11%2F0517" target="_blank" >GAP103/11/0517: Decentralizované supervizní řízení časovaných automatů</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

Kód důvěrnosti údajů

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

Název periodika

Journal Européen des Syst?mes Automatisés

ISSN

1269-6935

e-ISSN

—

Svazek periodika

47

Číslo periodika v rámci svazku

1-3

Stát vydavatele periodika

FR - Francouzská republika

Počet stran výsledku

16

Strana od-do

139-154

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—