Composer les réseaux de Petri temporels

Florent Peres (1) , Bernard Berthomieu (1) , François Vernadat (1)

1 LAAS-OLC

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.

Mots clés: composition; time Petri nets; compositionality

Domaines: Modélisation et simulation; Génie logiciel [cs.SE]

Florent Peres, Bernard Berthomieu, François Vernadat. Composer les réseaux de Petri temporels. Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.1001-1015. ⟨hal-00438377⟩