Vous êtes sur la page 1sur 7

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

ANNEXE 2

LES RSEAUX DE PETRI

Reprsentation graphique Dfinition de l'tat d'un rseau de Petri volution temporelle d'un rseau de Petri Les rgles gnrales d'volution temporelle d'un rseau de Petri Graphes de marquage associ un rseau de Petri

Reproduit avec la permission de Francis Cottet, ENSMA

dcembre 2001

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

Reprsentation graphique des rseaux de Petri / 2


Les places Pi et les transitions Ti d'un rseau de Petri, en nombre fini et non nul, sont relies par des arcs orients. Un rseau de Petri est dit graphe biparti altern , c'est dire qu'il y a alternance des types de noeuds : tout arc, qui doit obligatoirement avoir un noeud chacune de ses extrmits, relie soit une place une transition soit une transition une place.

Exemple de rseau de Petri comportant 7 places, 6 transitions et 15 arcs orients

Reproduit avec la permission de Francis Cottet, ENSMA

dcembre 2001

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

Dfinition de l'tat d'un rseau de Petri


Pour dfinir l'tat d'un systme modlis par un rseau de Petri, il est ncessaire de complter le rseau de Petri par un marquage. Ce marquage consiste disposer un nombre entier (positif ou nul) de marquage marques ou jetons dans chaque place du rseau de Petri. Le nombre de jetons contenus dans une place sera not mi. Le marquage du rseau sera alors dfini par le vecteur M = {mi}. Pi

Exemple de rseau de Petri marqu avec un vecteur de marquage M :

M = (1,0,1,0,0,2,0).

Reproduit avec la permission de Francis Cottet, ENSMA

dcembre 2001

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

Evolution temporelle d'un rseau de Petri


L'volution de l'tat du rseau de Petri correspond
d'une transition. manire suivante : Dans le cas des rseaux dits arcs simples ou une volution du marquage. Les jetons, qui tir matrialisent l'tat du rseau un instant donn, peuvent passer d'une place l'autre par ou franchissement franchissement

de poids 1, la rgle d'volution s'nonce de la

Le franchissement d'une transition consiste retirer un jeton dans chacune des places en amont de la transition et ajouter un jeton dans chacune des places en aval de celle-ci.

Avant Franchissement

Aprs Franchissement

Mt = (1, 2, 1, 0)
Reproduit avec la permission de Francis Cottet, ENSMA 4

M t+1 = (0, 1, 2, 1)
dcembre 2001

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

Les rgles gnrales d'volution temporelle d'un rseau de Petri

Les rgles gnrales d'volution des rseaux de Petri marqu simple sont les suivantes : 4 une transition est franchissable ou sensibilise ou encore valide lorsque chacune des places en amont possde au moins un jeton, 4 le rseau ne peut voluer que par franchissement d' une seule transition la fois , transition choisie parmi toutes celles qui sont valides cet instant, 4 le franchissement d'une transition est indivisible et de dure nulle.

Remarque : si une transition est valide, cela n'implique pas qu'elle sera immdiatement franchie. Ces rgles introduisent en effet un certain indterminisme dans l'volution des rseaux de Petri, puisque ceux-ci peuvent passer par diffrents tats dont l'apparition est conditionne par le choix des transitions tires. Ce fonctionnement reprsente assez bien les situations relles o il n'y a pas de priorit dans la succession des vnements.

Reproduit avec la permission de Francis Cottet, ENSMA

dcembre 2001

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

Graphes de marquage
L'volution temporelle d'un RdP peut tre dcrite par un graphe de marquage reprsentant l'ensemble des marquages accessibles et d'arcs correspondant aux franchissements des transitions faisant passer d'un marquage l'autre pour un marquage initial M0.

graphe de marquage

avec M0 : (1,0,1,0) M1 : (0,1,0,1) M2 : (1,0,0,1) M3 : (0,1,1,0)

Remarque : cette reprsentation permet de dterminer certaines proprits d'un graphe. Par exemple si le graphe prsente une zone non boucl, cette partie du marquage une fois atteinte constitue un arrt de l'volution du RdP et celui-ci sera dclar avec blocage.
Reproduit avec la permission de Francis Cottet, ENSMA 6 dcembre 2001

Claude Kaiser

Annexe 2 : rseaux de Petri

SRI_B

Reproduit avec la permission de Francis Cottet, ENSMA

dcembre 2001