réseau de Petri

Définitions

Notion mathématique qui se représente par un graphe biparti (composé de deux types de nœuds et dont aucun arc ne relie deux nœuds de même type) orienté (composé d'arc(s) ayant un sens) reliant des places et des transitions (les nœuds), où deux places ne peuvent pas être reliées entre elles, ni deux transitions, où les places peuvent contenir des jetons, représentant généralement des ressources disponibles.

Équivalents

Niveau CECR