Définition

Un réseau de Pétri est un graphe représentant les relations entre trois ensembles d’éléments :

1. places
2. transitions
3. arcs

Exemple

Exemple de réseau de Pétri

Les réseaux de Pétri sont utilisés pour modéliser la dynamique d’un système. Le marquage dans le réseau de Pétri se fait au moyen d’un jeton (correspondant à un nombre entier que l’on va attribuer à chaque place).

On représente communément un marquage par un vecteur colonne  :

Une transition est validée ou franchissable si toutes ses places d’entrée sont marquées (toutes les marques contiennent au moins un jeton). Dans l’exemple, est franchissable alors que ne l’est pas. Pour franchir une transition on utilise la règle suivante :

• on retire un jeton de chacune des places d’entrée
• on ajoute un jeton dans chacune des des places de sortie

Si on franchit on obtient donc le marquage suivant :