réseau de Petri

Français

Étymologie

(Date à préciser) De réseau, et Petri, nom de famille de celui qui les a introduits, Carl Adam Petri.

Locution nominale

Singulier	Pluriel
réseau de Petri	réseaux de Petri
\ʁe.zo də pe.tʁi\

réseau de Petri \ʁe.zo də pe.tʁi\ masculin

1. (Mathématiques) Notion mathématique qui se représente par un graphe biparti (composé de deux types de nœuds et dont aucun arc ne relie deux nœuds de même type) orienté (composé d'arc(s) ayant un sens) reliant des places et des transitions (les nœuds), où deux places ne peuvent pas être reliées entre elles, ni deux transitions, où les places peuvent contenir des jetons, représentant généralement des ressources disponibles.

Traductions

• Anglais : Petri net (en)

Voir aussi

• réseau de Petri sur l’encyclopédie Wikipédia (article auquel du texte a été emprunté)