Petri (réseau de)

n. m.

[spécification] Un réseau de Petri permet d'étudier des systèmes dynamiques complexes. Ils ont été proposés dans les années 60 par Carl Petri, 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. Ces réseaux sont en fait des graphes où deux types de nœuds, les places et les transitions, sont liés par des arêtes orientées. Un réseau de Petri est dit « temporisé » lorsque les arêtes et les transitions sont pondérées par des durées.

Pas d'accent sur le nom « petri », même si ça se prononce « pétri »