Annexe3 : Réseau de Pétri [19]
Définition
Un Réseau de Pétri (RdP) est un graphe
orienté comportant :
· un ensemble fini de places, P= {P1, P2, P3, ...,
Pm}, symbolisées par des cercles et représentant des
conditions : une ressource du système (ex. : une machine, un stock, un
convoyeur, ...), l'état d'une ressource du système (ex. : machine
libre, stock vide, convoyeur en panne, ...)
· un ensemble fini de transitions, T= {T1, T2, T3, ...,
Tn}, symbolisées par des tirets et représentant
l'ensemble des événements (les actions se déroulant dans
le système) dont l'occurrence provoque la modification de l'état
du système,
un ensemble fini d'arcs orientés qui assurent la liaison
d'une place vers une transition ou d'une transition vers une place,
Un ensemble de jetons représentant une donnée ou/et
une classe.
Marquage d'un Réseau de Pétri (RdP)
:
Le marquage d'un RdP est précisé par la
présence à l'intérieur des places d'un nombre fini
(positif ou nul), de marques ou de jetons. Une place est donc vide ou
marquée.
Lorsque la place représente une condition logique (ex.
: machine à l'arrêt, convoyeur en panne), la présence d'un
jeton indique que cette condition est vraie ; fausse dans le cas contraire.
Lorsque la place représente une ressource (au sens le plus
large - ex. : une machine, un stock), elle peut contenir plusieurs jetons (ex.
: nombre de pièces en stock).
Franchissement d'une Transition
Le franchissement d'une transition ou tir d'une transition,
consiste à retirer une marque dans chacune des places d'entrée de
la transition et à ajouter une marque dans chacune des places de sortie
de la même transition.
Validation d`Une Transition
Une transition est validée (ou sensibilisée ou
franchissable ou tirable) lorsque toutes ses places d'entrée contiennent
au moins un jeton.
Transition Source
Une transition source est une transition qui ne comporte
aucune place d'entrée ; c'est une transition toujours franchissable et
le franchissement a lieu lorsque l'événement associé se
produit.
Transition Puits
Une transition puits est une transition qui ne comporte aucune
place de sortie ; le franchissement d'une transition puits enlève des
jetons de toutes les places d'entrée de la transition.
Mémoire de Fin d'Etudes de Master 2 Recherche en
Informatique : ENSP YAOUNDE, DECEMBRE 2008 Ingénieur DONFACK
Cédric Pérez 37
| 
