Un réseau de Petri est un modèle mathématique servant à représenter divers systèmes (informatiques,industriels,…) travaillant sur des variables discrètes.

Un réseau de Petri se représente par un graphe orienté composé d'arc(s) reliant des places et des transitions.

Voici les principales règles pour créer un réseau de Petri:

-- Deux places ou deux transitions ne peuvent pas être reliées entre elles.

-- Les places peuvent contenir des jetons, représentant généralement des ressources disponibles.

-- Un jeton passe d'une place à une autre uniquement lorsque la transition entre les deux places est validée.



L'animation ci-dessous vous permettra de mieux comprendre le fonctionnement: