Réseau de Petri temporel

Un réseau de Petri temporel 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

• Portail de l'informatique théorique