Réseau de Petri

Modèle mathématique et graphique bipartite composé de places, transitions et jetons ; un marquage assigne des comptes de jetons aux places et une transition est activable quand ses places d'entrée contiennent suffisamment de jetons, consommant et produisant des jetons pour modéliser des comportements concurrents, synchrones et soumis à ressources dans des systèmes distribués.