Time Recursive Petri Nets

Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic structure of processes. In order to analyze temporal constraints of complex discrete event systems, we propose an extension of RPNs which takes into account "time parameter". The extended model is Time Recursive Petri Nets (TRPNs), where the timing is a firing interval attached to each transition. In this paper, we give a formal semantic for TRPNs in Terms of Timed Transition Systems.

• Type: Journal
• Year: 2008
• Where: TOPNOC
• Authors: Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala
• Keywords: Artificial Intelligence, Complex Discrete Event, Discrete Event Systems, Recursive Petri Nets, TOPNOC 2008