réseau de Pétri
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Modèle d'un système concurrent, exprimé dans une notation graphique spécifique, qui peut être utilisé pour explorer certaines des propriétés de ce système.
Note :
Un réseau de Pétri consiste en un ensemble de « places », un ensemble de « transitions », et un ensemble d'arcs orientés. À chaque transition est associé un ensemble de places d'entrée et un ensemble de places de sortie, une transition est liée à chacune de ses places d'entrée par un arc orienté de la place vers la transition, et à chacune de ses places de sortie par un arc orienté de la transition vers la place.
Terme privilégié :
- réseau de Pétri n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- Petri net
- Petri network