n. m.
[spécification] Un réseau de Pétri permet d'étudier des systèmes dynamiques complexes. Ils ont été proposés dans les années 60 par C. Pétri, puis développés au MIT, et sont maintenant utilisés pour spécifier, modéliser et comprendre les systèmes (au sens info) dans lesquels plusieurs processus sont interdépendants.