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