Modélisation par Réseaux de Petri

Formalisme graphique et mathématique pour modéliser des systèmes discrets concurrents, asynchrones et distribués à l’aide de places, transitions, arcs orientés et jetons ; le comportement est déterminé par la distribution de jetons (marquage) et les règles de tir des transitions qui déplacent les jetons entre places.