Un modèle de circulation de l'information, montrant les propriétés statiques et dynamiques d'un système abstrait, formel. Réseau de Petri A est généralement représenté comme un graphe ayant deux types de nœuds (appelé lieux et transitions) reliées par des arcs et des marques (appelés jetons) indiquant les propriétés dynamiques.