Composer des réseaux de Petri temporels

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.