Réseau de Petri temporel

Il existe deux principales familles d'extensions temporelles de réseau de Petri : le réseau de Petri temporel[2] introduit par Philip Meir Merlin en 1974 et le réseau de Petri temporisé[3] introduit par Chander Ramchandani en 1974.

Un Réseau de Petri temporel (ou TPN) est un tuple ${\displaystyle (P,T,Pre,Post,M^{0},I_{s},\Sigma ^{z},L)}$ dans lequel:

• ${\displaystyle (P,T,Pre,Post,M^{0})}$ est un réseau de Petri, avec pour places P, transitions T, marquage initial ${\displaystyle m^{0}:P\to \mathbb {N^{+}} }$ et ${\displaystyle Pre,Post:T\to P\to \mathbb {N^{+}} }$,
• ${\displaystyle Is:T\to \mathbb {I^{+}} }$ est une fonction appelée Intervalle Statique,
• ${\displaystyle \Sigma }$ est un ens. fini d’Actions, ou Labels, ne contenant pas l’action silencieuse ${\displaystyle \sigma }$,
• ${\displaystyle L:T\to \Sigma ^{z}}$ est une fonction d’Étiquetage des transitions.

• Réseau de Petri
• Réseau de Petri P-temporel
• Réseau de Petri T-temporel