Вы находитесь на странице: 1из 19

(CEG4561/CSI4541 Chapitre 4, annexe)

4.2. Les rseaux de Petri


4.2.1 Dfinitions
Un rseau de Petri (RdP) est un graphe biparti constitu de 2 sortes de nuds : Les
places (reprsentes par des ronds) et les transitions (reprsentes par des barres).
Le graphe est orient : Des arcs vont d'une sorte de nuds l'autre (jamais de places
places, ou de transitions transitions directement).
Graphe form de
- ensemble de places P = {P1, P2, P3,.}
- ensemble de transition T= {T1, T2, T3,.}
- marquage initial M= {m1, m2, m3,.}
Exemple :

On dit que la place P2 est en amont ou est une entre de la transition T2


On dira que la place P7 est en aval ou est une sortie de la transition T5
4.2.2. Marquage des places
Les places sont marques par des jetons ou marques (points noirs), un nombre entiers
positifs ou nul.
Les jetons circulent dans les places selon certaines rgles (dfinies ci-dessous). Cette
circulation symbolise l'volution dynamique du systme. Le marquage initial (celui
indiqu sur le dessin) donne la position initiale des jetons.

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

Mme Rdp que prcdemment


avec marquage M=(1,0,1,0,0,2,0)
4.2.3 Franchissement de transition
Les rgles de franchissement et de circulation des jetons sont :
a. Le franchissement dune transition ne peut seffectuer que si chacune des places en
amont de cette transition contient au moins une marque.
b. Une transition sans place amont est toujours valide, on dit que cest une transition
source.
c. Le franchissement (le tir) dune transition Tj consiste retirer une marque (jeton) dans
chacune des places en amont de la transition Tj et ajouter une marque dans toutes les
places en aval de Tj.
d. Lorsquune transition est valide cela nimplique pas quelle sera franchie
immdiatement.
e. Il y a un seul franchissement la fois.
f. Le franchissement dune transition est indivisible.
g. Le franchissement dune transition une dure nulle (sauf dans les RdP temporiss
quon va voir plus tard).

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

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.
Note : Il y a conflit si plus dune transition peuvent tre franchies pour une mme place
dorigine, on choisit lune des transitions, de manire non-dterministe.
4.2.4. 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.
Exemples :
1)

2)

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

3)

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.
4.2.5. RdP autonomes et non autonomes
Un RdP autonome dcrit le fonctionnement dun systme qui volue de faon
autonome, c--d dont les instants de franchissement ne sont pas connus, ou pas indiqus.
(Exemple : Le cycle des saisons).
Un RdP non autonome dcrit le fonctionnement dun systme dont lvolution est
conditionne par des vnements externes ou par le temps (Exemple : Dmarrage dun
moteur).
 Un RdP non autonome est Synchronis et/ou Temporis.
4.2.6. RdP particuliers
4.2.6.1 Structures particulire :
Ici on sintresse en premier la structure du RdP.
a. Graphe dtats
Un RdP est un graphe dtats si est seulement si toute transition a exactement une place
dentre et une place de sortie.
(Traiter exemple en cours)
b. Graphe dvnements
Un RdP est un graphe dvnement si et seulement si toute place a exactement une
transition dentre et une transition de sortie. Un Graphe dvnement est donc dual dun
graphe dtats.
(Traiter exemple en cours)

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

c. RdP sans conflit


Un RdP dans lequel toute place a au plus une transition de sortie. Un conflit (ou conflit
structurel) correspond lexistence dune place P1 qui a au moins deux transitions de
sortie T1, T2,On notera <P1, {T1, T2,.}>
(Traiter exemple en cours)
d. RdP choix libre
Un RdP choix libre est un RdP dans lequel pour tout conflit <P1, {T1, T2,.}> aucune
des transitions T1, T2,ne possde une autre place dentre que P1.
(Traiter exemple en cours)
e. RdP simple
Cest un RdP dans lequel chaque transition ne peut tre concerne que par un conflit au
plus. Sil existe une transition T1 et deux conflits <P1, {T1, T2,}> et <P2, {T1,
T3,}>, alors le RdP nest pas simple.
(Traiter exemple en cours)
Remarque :
-

Lensemble des RdP simples inclut lensemble des RdP choix libre, qui
inclut lensemble des RdP sans conflit, qui inclut lui-mme lensemble des
graphes dvnements

Lensemble des graphes dtats est inclus dans lensemble des RdP choix
libre.

f. RdP pur
Cest un RdP dans lequel il nexiste pas de transition ayant une place dentre qui soit
galement place de sortie de cette transition.
(Traiter exemple en cours)
g. RdP sans boucle
Un RdP sans boucle est tel quil existe une transition Tj et une place Pi qui est la fois
place dentre et place de sortie de Tj, alors Tj au moins une autre place dentre.
(Traiter exemple en cours)
4.2.6.2. Abrviations et extensions :
Abrviations : Des reprsentations simplifies utiles pour allger le graphisme mais
auxquelles on peut toujours faire correspondre un RdP ordinaire (c.--d. un RdP
autonome marqu fonctionnant selon les rgles prdfinies).
Extensions : Des modles auxquels des rgles de fonctionnement ont t ajoutes afin
denrichir le modle initial pour aborder un plus grand nombre dapplications.

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

Remarque : Toutes les proprits des RdP ordinaires se conservent pour les abrviations
moyennant quelques adaptations, tandis que ces proprits ne se conservent pas toutes
pour les extensions.
a. RdP gnralis
Un RdP dans lequel des poids (nombres entiers strictement positifs) sont associs aux
arcs.
Larc Pi Tj a un poids p
La transition Tj ne sera valide que si Pi contient au moins p jetons.

Pi
p

Lors du franchissement de cette transition, p jetons seront retirs

Tj

de la place Pi.
Lorsquun arc Tj Pi a un poids p cela signifie que lors du franchissement de Tj, p
jetons seront ajouts la place Pi.
Exemple :

(Traiter exemple en cours)


b. RdP capacit
Un RdP dans lequel des capacits (nombres entiers strictement positifs) sont associs aux
places. Le franchissement dune transition dentre dune place Pi dont la capacit est
cap(Pi) nest possible que si le franchissement ne conduit pas un nombre de jetons dans
Pi qui dpasse cette capacit.
(Traiter exemple en cours)
Note : Tout RdP capacit peut tre transform en un RdP ordinaire. ( dmontrer en
classe).
(Traiter exemple en cours)
c. RdP color
Un RdP color comporte des jetons auxquelles on attribue des couleurs (possibilit de
reprsenter des processus parallles)

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

d. RdP arcs inhibiteurs


Un arc inhibiteur est un arc orient qui part d'une place pour aboutir une transition (et
non l'inverse). Son extrmit est marque par un petit cercle. La prsence d'un arc
inhibiteur entre une place Pi et une transition Tj signifie que la transition Tj n'est valide
que si la place Pi ne contient aucun jeton. Le franchissement de la transition Tj consiste
retirer un jeton dans chaque place situe en amont de la transition l'exception de la place
Pi , et ajouter un jeton dans chaque place situe en aval de la transition.

(Traiter exemple en cours)


e. RdP priorit
Un tel rseau est utilis lorsque lon veut imposer un choix entre plusieurs transitions
valides.
f. RdP continu
Leur particularit est que le marquage dune place est un nombre rel (positif) et non plus
un nombre entier.
Remarque :
- Les RdP gnraliss, capacit, color sont des abrviations des RdP
ordinaires. Toutes les proprits que nous allons voir dans ce qui suit
peuvent donc tre adaptes ces modles.
- Les RdP arcs inhibiteurs, les RdP priorits, les RdP non autonomes et
les RdP continus sont des extensions des RdP ordinaires. Certaines
proprits des RdP ordinaires leur sont applicables mais pas toutes.
4.2.7 Proprits des rseaux de Petri
4.2.7.1 RdP born :
Une place Pi est dite borne pour un marquage initial M0 si pour tout marquage
accessible partir partir de M0 le nombre de jetons dans Pi est fini.
Un RdP est born pour un marquage initial M0 si toutes les places sont bornes pour
M0.
Si pour tout marquage M appartement lensemble des marquages accessibles partir
de M0 (not *M0), on a M(Pi) K o K est un nombre entier naturel, on dit que Pi est
K-born. Si la proprit est vraie pour toute place on dit que ce RdP est K-born.
(Traiter exemple en cours)
Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

4.2.7.2 RdP sauf :


Cest un RdP 1-born (ou binaire).
4.2.7.3 Vivacit :
Une transition Tj est vivante pour un marquage initial M0 si pour tout marquage
accessible Mi *M0, il existe une squence de franchissement S qui contient Tj partir
de Mi (c--d il subsistera toujours une possibilit de franchir Tj).
(Traiter exemple en cours)
Un RdP est vivant pour un marquage initial M0 si toutes ses transitions sont vivantes
pour M0 (c--d aucune transition ne sera jamais dfinitivement infranchissable)
4.2.7.4 Blocage :
Un blocage (ou tat puits) est un marquage tel quaucune transition nest valide.
Un RdP est dit sans blocage pour un marquage initial M0 si marquage accessible
Mi *M0, il est sans blocage.
(Traiter exemple en cours)
4.2.8 Graphe des marquages et arbre de couverture
Pour pouvoir trouver si tel RdP prsente telle ou telle proprit, il existe principalement 3
classes de mthodes :
a. tablissement du graphe de marquage ou de larbre de couverture
b. Utilisation des mthodes bases sur lalgbre linaire : rsultats puissants.
c. Les mthodes de rduction des RdP.
4.2.8.1 Graphe des marquages :
Il est compos de nuds qui correspondent aux marquages accessibles et Darcs
correspondant aux franchissements de transition faisant passer dun marquage lautre.
(Traiter exemple en cours)
4.2.8.2 Arbre de couverture :
Quand on ne peut pas construire le graphe des marquages (RdP non born), on construit
un arbre de couverture qui possde un nombre fini de nuds. Un arbre est un graphe
particulier dans lequel il ny a pas de boucle ni de circuit.
(Traiter exemple en cours)
Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

4.2.9 Reprsentation matricielle


4.2.9.1 Matrice de description :
Considrons le RdP R={P, T, A,M0} comportant l places et m transitions.
R peut tre reprsent par une matrice dite de sortie S(P,T) et une matrice dite dentre
E(P,T) dfinies comme suit :
- S(P,T) : matrice de dimension lm dans laquelle :
- S(i,j)= poids de larc reliant Tj Pi si Pi est une place de sortie de Tj.
- S(i,j)= 0 si Pi nest pas une place de sortie de Tj.
- E(P,T) : matrice de dimension lm dans laquelle :
- E(i,j)= poids de larc reliant Pi Tj si Pi est une place dentre de Tj.
- E(i,j)= 0 si Pi nest pas une place dentre de Tj.
Cas particulier :
Si aucune place du RdP nest la fois place dentre et place de sortie dune mme
transition alors il est possible de dcrire compltement le rseau avec la matrice
dincidence C(P,T) comme suit :
C(P,T) = S(P,T) E(P,T) dans laquelle :
- C(i,j)= poids de larc reliant Tj Pi si Pi est une place de sortie de Tj.
- C(i,j)= poids de larc reliant Pi Tj prcd du signe (-) si Pi est une place
dentre de Tj.
- C(i,j)= 0 si Pi nest ni place dentre ni place de sortie de Tj.
(Traiter exemple en cours)
4.2.9.2 Validation des transitions :
Si une transition Ti est valide pour un marquage initial M0, il faut que :
Pj P, M(Pj) E(Pj, Ti)
Soit |M0| E(P, Ti)
En comparant successivement toutes les colonnes de E(P,T) au vecteur M0, on peut
trouver toutes les transitions valides par ce marquage.
On obtient aussi un vecteur validation V de dimension gale au nombre de transitions du
RdP (un 1 correspond une transition valide, un 0 dans le cas contraire).
Cas particulier :
Si le RdP tudi est sauf, le vecteur V peut tre obtenu en appliquant la relation suivante :
Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

V = E ( P, T ) t M 0

M 0 est le vecteur en complment 1 de M0.


E(P,T)t : matrice transpose de E(P,T)
est loprateur matriciel boolen obtenu en faisant terme terme le produit des lignes
de E(P,T)t et du vecteur colonne M 0 puis la somme logique de ces produits.
(Traiter exemple en cours)
4.2.9.3 volution de marquage :
Les marquages successifs M1, M2, M3, obtenus partir du marquage initial M0 par les
tirs successifs des transitions Ti, Tj, Tk,peuvent tre obtenus comme suit :
M1 = M0 + C(P, Ti)
M2 = M0 + C(P, Tj)
M3 = M0 + C(P, Tk)
Pour une squence finie de tirs, il est possible de relier le marquage final Mn au
marquage initial M0 par une relation de la forme :
|Mn| = |M0| = |C(P,T)| . |D|
Avec |D| : vecteur colonne de dimension gale au nombre total m de transitions du rseau.
Les composantes di de |D| sont des nombres entiers positifs correspondant au nombre de
tirs de la transition Ti pour la squence donne aboutissant au marquage Mn.
(Traiter exemple en cours)
4.2.10 Modlisation par rseaux de Petri
a. Modlisation des oprations logiques ET et OU
- ET aval (distribution), ET amont (jonction)
- OU aval (slection), OU amont (attribution)
b. Visualiser le paralllisme
c. Visualiser la synchronisation
d. Visualiser le partage de ressource
e. Mmorisation
f. Lecture
g. Capacit limite
(Traiter exemples en cours)

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

10

4.2.11 RdP synchronis


Un ensemble d'vnements externes est associ au RdP ; ces vnements permettent le
franchissement de certaines transitions. Un tel RdP est dit synchronis.
Considrons le RdP modlisant la machine dcrite ci-dessous. On associe ce RdP
l'ensemble d'vnements A, D, S o A dsigne l'vnement Arrive pice , D
l'vnement Dmarrage service , S l'vnement Sortie pice . La figure reprsente
le systme modlis par un RdP synchronis.

Le tir de la transition T1 est li l'occurrence de l'vnement A.


Le tir de la transition T2 est li :
- A la validation de la transition, matrialise par la prsence d'au moins un jeton
dans la place stock et d'un jeton dans la place ressource machine libre ;
- Au dmarrage effectif du service (occurrence de l'vnement D).
Le tir de la transition T3 est li l'occurrence de l'vnement S.
4.2.12 RdP temporis
Dcrit un systme dont le fonctionnement dpend du temps.
a. RdP P-temporis :
- Une dure minimale de sjour dans les places : Dure pendant laquelle tout jeton qui
vient d'tre produit dans une place ne peut pas encore servir l'activation de transitions
aval.

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

11

Illustration :
Jeton rserv
Jeton non rserv

T1

P1

T1

d1

T2

P2

T3

Jeton indisponible dans


P1, T2 non valide

T1

P1

d1

T2

d2

P1

T1

d1

T2

P2

d2

T3

P2

P1

d1

T2

d2

T3

P2

d2

T3

d1

Jeton disponible dans P1,


T2 valide
Jeton in disponible dans
P2

d2

Franchissement de T1

Franchissement de T2

b. RdP T-temporis :
- Une dure d'activation pour les transitions : Dure pendant laquelle un jeton situ dans
chaque place amont de la transition active est rserv pour cette transition (avant de
disparatre), et au del de laquelle un jeton apparat dans chacune des places aval ;

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

12

Illustration :
Jeton indisponible
Jeton disponible

T1

d1

P1

T2

d1

P1

d2

P2

T3

T1

T2

P1

d2

P2

d3

T3

d1

T1

P1

d2

T2

P2

d3

d1

T1

d2

T2

P2

d3

T3

d3

T3

Jeton non rserv dans


P1, T2 valide
Jeton rserv dans P1 pour
franchissement de T2

d2

Jeton non rserv dans P2


Franchissement de T1 (fin de)
Dbut de franchissement
de T2 (dcision)
Fin de franchissement de T2

Remarque : Il y a un temps minimum et un temps maximum pour le franchissement


dune transition

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

13

Remarque : Il existe une quivalence entre le RdP T-temporis et celui P-temporis. La


figure suivante montre la transformation d'une transition de dure t en 2 transitions
instantanes (le dbut et la fin) spares par une place de temporisation t.

(Traiter exemple en cours)

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

14

4.2.13. Exemples divers


Exercice 1
Pour chacun des RdP de la figure suivante, dont certains sont des RdP gnraliss, rpondre aux
questions : est-il born? Vivant? Sans blocage? Justifier votre rponse.

P1

P1

P1

T1

T4

T1

T4

T1

T4

P2

P3

P2

P3

P2

P3

T3

T2

T3

T2

b.

a.

T3

T2

c.

Exercice 2
Deux calculateurs utilisent une mmoire commune. On suppose que chaque calculateur peut avoir
trois tats :
- il na pas besoin de la mmoire
- il la demande mais ne lutilise pas encore
- il lutilise
Calculateur 1

Mmoire
commune

Calculateur 2

Modliser le fonctionnement de ce systme par un RdP ou un Grafcet.

Exercice 3
On considre le protocole suivant de gestion des cabines et des paniers dune piscine.
lentre, un client qui a trouv une cabine libre y entre et se change en posant ses
vtements dans la cabine. Il demande ensuite un panier quil remplit pour librer la
cabine. Aprs la baignade le client rentre dans une cabine avec son panier, le vide et le
libre. Ensuite il se rhabille et libre la cabine.
Soient Nc le nombre de cabines et Np le nombre de panier.
1. Dcrire ce protocole par un RdP ou un Grafcet avec Nc=3 et Np=5.
2. Montrer quil y a un tat de blocage. Y-a-t-il blocage pour toute valeurs de Nc et
de Np?
3. Dfinir un protocole tel quil ny ait pas de blocage et donner le RdP ou le Grafcet
correspondant.

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

15

4. Modifier le RdP ou le Grafcet de 2. pour modliser le nombre de clients qui


attendent une cabine pour entrer la piscine.
Conseil : Avant mme dtablir le RdP ou le Grafcet, analyser ce protocole et dtecter le
blocage qui peut apparaitre et pourquoi.
Exercice 4
Une administration fait entrer des clients puis ferme la porte dentre avant de commencer le
service. Au fur et mesure quils sont servis les clients sortent par une autre porte. La porte
dentre ne sera rouverte que lorsque tous les clients qui taient entrs seront sortis.
Donner le RdP correspondant.
Conseil : Utiliser la notion darc inhibiteur.

Solutions des exercices 1 4


Solution Exercice 1
P1

P1

P1

T1

T4

T1

T4

T1

T4

P2

P3

P2

P3

P2

P3

T3

T2

T3

T2

b.

a.
Born
Pas vivant
Sans blocage

T3

T2

c.

Born
Vivant
Sans blocage

Pas born
Vivant
Sans blocage

Solution Exercice 2
Deux calculateurs utilisent une mmoire commune. On suppose que chaque calculateur peut avoir
trois tats : il na pas besoin de la mmoire, il la demande mais ne lutilise pas encore, il lutilise
Calculateur 1

Mmoire
commune

Calculateur 2

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

16

Solution Exercice 3
1.

2. Montrer quil y a un tat de blocage. Y-a-t-il blocage pour toute valeurs de Nc et de


Np?

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

17

La squence de franchissement (T1T2T3)5T13 conduit au marquage (3,0,5,0,0,0,0) qui


est un blocage : Il y a 5 personnes qui sont la baignade et 3 dans les cabines en
attente de paniers qui ne se libreront jamais.
En gnral : Nc et Np, la squence (T1T2T3)NpT1Nc conduit un blocage.
3. Dfinir un protocole tel quil ny ait pas de blocage et donner le RdP ou le Grafcet
correspondant.
Le client qui entre a besoin de deux ressources qui sont une cabine et un panier, sil
les prend simultanment quand les deux sont libres il ny a pas de blocage. Le RdP
(b) modifi montre que la transition T1 en amont de P1 ne sera franchise que si un
panier ET une cabine sont libre simultanment.
4. Modifier le RdP ou le Grafcet de 2. pour modliser le nombre de clients qui attendent
une cabine pour entrer la piscine.
On ajoute une transition T0 et une place P0 (en pointills sur le RdP (b)) : Le
franchissement de T0 (arrive dun client) ajoute un jeton dans P0 (nombre de clients
en attente).

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

18

Solution Exercice 4
Le Rdp est le suivant :

Chapitre IV- Annexe - CEG4566/CSI4541 RNM SITE uOttawa Hiver 2013

19