On the composition of time Petri nets

PERES ; BERTHOMIEU ; VERNADAT

Type de document
ARTICLE A COMITE DE LECTURE REPERTORIE DANS BDI (ACL)
Langue
anglais
Auteur
PERES ; BERTHOMIEU ; VERNADAT
Résumé / Abstract
Complex systems are often designed and built from smaller pieces, called components. Components are open sub-systems meant to be combined (or composed) to form other components or closed systems. It is well known that Petri nets allow such a component based modeling, relying on parallel composition and transition synchronization. However, synchronizing transitions that carry temporal constraints does not yield a compositional method for assembling components, a highly desirable property. The paper addresses this particular problem: how to build complex systems in a compositional manner from components specified by Time Petri nets (TPN). A first solution is proposed, adequate for a particular subclass of Time Petri nets but significantly increasing the complexity of components. Then an improved solution is developed, relying on an extension of Time Petri nets with two relations added on transitions. This latter solution requires a much simpler transformation of nets, does not significantly increase their complexity, and is applicable to a larger class of TPN.
Source
Journal of Discrete Event Dynamic Systems, num. 21, n3, p395-p424 p.
Editeur
Springer

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR