ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 43/7-9 - 2009  - pp.1001-1015
TITRE
Composer des réseaux de Petri temporels

RÉSUMÉ
La conception de systèmes complexes conduit souvent à les découper en éléments plus simples, appelés composants. Ceux-ci sont des sous-systèmes non clos qui, combinés (ou composés) entre eux, forment un système clos. Il est bien connu que les réseaux de Petri permettent une telle modélisation à base de composants. Nous nous intéressons ici à la composition parallèle, impliquant la fusion de transitions. L'ajout de contraintes temporelles sur les transitions (cas des réseaux de Petri temporels) ne pose pas de problèmes dans le cadre de la modélisation de systèmes clos. Par contre, la composition parallèle ne prenant pas trivialement en compte les informations temporelles des transitions, la compositionnalité n'est plus assurée. La solution présentée ici est d'étendre les TPN afin de déporter l'information temporelle des transitions composées, de manière à utiliser la composition parallèle traditionnelle.


ABSTRACT
The design of complex systems often leads to break them into smaller pieces, called components. Components are not closed sub-systems but are meant to be combined (or composed) to form a closed system. It is well known that Petri nets allows such a component based modeling. We are interested here in parallel composition, which is about transition fusion. Adding temporal constraints on transitions (time Petri nets case) does not generally bring much problems regarding the modeling of closed systems. In the other hand, parallel composition does not trivially take the temporal informations of transitions into account and, consequently, compositionality is no more ensured. The solution presented here consists of extending TPN to keep temporal information out of the composed transitions, in order to use the traditional parallel composition.


AUTEUR(S)
Florent PERES, Bernard BERTHOMIEU, François VERNADAT

MOTS-CLÉS
composition, réseaux de Petri temporels, compositionnalité.

KEYWORDS
composition, time Petri nets, compositionality.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (228 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier