4.2.13.

Exemples divers

Exercice 1
Réseaux de Petri : TD2 !
Pour chacun des RdP de la figure suivante, dont certains sont des RdP généralisés, répondre aux
questions : est-il borné? Vivant? Sans blocage? Justifier votre réponse.!
Exercice 1

P1 P1 2 P1 3

T1 T4 T1 T4 T1 T4

P2 P3 P2 P3 P2 P3

T3 T3 T3
T2 T2 T2

a. b. Exercises 4 1c.5

Exercice
Pour 2 chacun
marking is asdesfollows:
RdP deitlaisfigure
a longsuivante,
time since
dontthere havesont
certains been
desany
RdPrequests
généralisés, répondre aux
Deux calculateurs
from utilisent
downsteam;
questions une mémoire
there are
: est-il borné? commune.
4 parts
Vivant? On
in Bblocage?
Sans suppose que
i-1 and 4 Justifier chaque
parts in votre
Bi (i.e.calculateur
a complete
réponse. peut avoir
trois états
batch: plus one part).
!
- il n’a pas besoin de la mémoire
Chapter 2 2 mais ne l’utilise pas encore
- Exercice
il la demande
- Les
il l’utilise
réseaux de Petri de la figure suivante sont-ils répétitifs ou répétitifs croissants :
2.1 For each of the PNs, A, B, C, D and E of Figure E 2.1, answer the
questions: is it bounded? live? deadlock
Mémoire
free? !
Calculateur 1 commune Calculateur 2
T1
! P1
T1
Modéliser le fonctionnement de ce système par un RdP ou un Grafcet.
P1
P1
P1
T1
P1 ! T1

Exercice 3 T1
T2 ! P2
A B C D !À E

l’entrée, un client
Figure
!
On considère le protocole suivant de gestion des cabines et des paniers d’une piscine.
E 2.1 qui a trouvé une cabine libre y entre et se change en posant ses !
vêtements dans la cabine. Il demande ensuite un panier qu’il remplit pour libérer la
2 . 2 Exercice
For each3 of the PNs A to F of Fig. E 2.2, certain of which are generalized
cabine. Après la baignade le client rentre dans une cabine avec son panier, le vide et le
PNs, answer the following questions: ispour
it bounded?
le réseaulive? deadlock
de : free?
libère.Calculer
Ensuite les
il seinvariants
rhabille etdelibère
marquages
la cabine. de Petri
Soient- Nc Ple
1 nombre
Deux programmesde cabines et PNp
1 le nombre
qui partagent de panier.
une2mémoire commune.
P1 3
1. - Décrire
Système ceproducteur
protocole
T4
par un RdP/ ou
/ magasin un Grafcet
consommateur
T4
avec Nc=3 et Np=5. T4
! T1 T1
2. Montrer qu’il y a un état de blocage. Y-a-t-il blocage
dePNp? P2
T1

P2
pour toute valeurs de Nc et
Exercice
2 4
3. Définir un protocole tel qu’il n’y ait pas de blocage et donner le RdP ou le Grafcet
On considère
T2
correspondant. leT3protocole
P3 suivant
T2 T3
de gestion Pdes
3 cabines T3
T2 et des paniers P3 d’une piscine. À l’entrée, un
A B C
client qui a trouvé une cabine libre y entre et se change en posant ses vêtements dans la cabine. Il
demande
P1 ensuite un panier qu’il P1 remplit2 pour libérer la P1 cabine. Après
3 la baignade le client rentre
Chapitredans une cabine
IV- Annexe avec son panier,
- CEG4566/CSI4541 le vide
– RNM – SITEet le libère. Ensuite
– uOttawa il se rhabille et libère 15
– Hiver 2013 la cabine.
T4 T4 T4
Soient
T1 Nc le nombre de cabines T1 et Np le nombre de panier. T1
1. Décrire ce protocole par un RdP avec Nc=3 et Np=5.
P2 P P
2. Montrer qu’il y a un état de2 blocage. Y-a-t-il blocage2 pour toute valeurs de Nc et de Np?
T2
3. Définir T
un protocole
3 P3 tel qu’ilT2 n’y ait pasT P
3 de3blocageT2et donner le T3 RdPP 3 correspondant.
D E F
4. Modifier le RdP de 2. pour modéliser le nombre de clients qui attendent une cabine pour entrer à
la piscine.
Figure E 2.2
2.3 Are the PNs in Figure E 2.1 repetitive or increasing repetitive? 1
2.4 For both PNs in Figs. S 1.4 and S 1.6, answer the following questions:
a) Is it a strongly connected event graph?
 85$45(&+&)-

Exercice 1
,!':1'*+,%*),(/5!+(!/3),%*,.!+<1!0*),,2$1+,'*,+&)*!1,%*,7&3+(,%*,+,,
• 9*1>,2+$0+!..*),<1(,2!+3!0*/3,1/*,.&.$(+*,:$..1/*8,
Exercice 5
• I-)3E.*,2+$%1:3*1+,J;,.!0!)(/,J;,:$/)$..!3*1+8,
Une administration fait entrer des clients puis ferme la porte d’entrée avant de commencer le
Exercice service.
2 Au fur et à mesure qu’ils sont servis les clients sortent par une autre porte. La porte d’entrée
ne sera rouverte que lorsque tous les clients qui étaient entrés seront sortis.
,$/)3+1(+*,'*,+&)*!1,%*,7&3+(,%-1/*,2('*,<4<.,"<(+)3,4/213,<(+)3,.13213$,(,<1!3+*,&'&.*/3)8,=1*',*)3,)$/,
(/5!+(!/3,%*,.!+<1!0*,Q,
Donner le RdP correspondant.

Conseil : Utiliser la notion d’arc inhibiteur.
Exercice 3
Exercice 6
,$..*,'>(/%(<1*,'!,A(01+*,:(J:$/3+*B,<1!3+*,2S('$)$2S*),7S('!,(,7S('/,
)$/3, !13$1+, %>1/*, 3!*'*B,
Comme %()2$)!/3,
l'indique la figure %*),ci-contre,
*!01*33*),quatre
*!, (, */, %()2$)&*),
philosophes
*/3+*,*1>8, Phil1 à Phil4 sont autour d'une table, disposant des
, baguettes b1 à b4 disposées entre eux.
0/,2S('$)$2S*,2*13,!5$(+,<1!3+*,&3!3)+,
!8Un(',/>!,2!),%*,*!01*33*,*3,(',2*/)*8,
philosophe peut avoir quatre états:
#8 (',!,1/*,*!01*33*,*3,)>!22+33*,(,2+*/%+*,'!,%*1>(E.*8,
1. il n'a pas de baguette et il pense.
)8 (',!,'*),%*1>,*!01*33*),*3,(',.!/0*8,
2. il a une baguette et s'apprête à prendre la deuxième.
/8 (',!,%&2$)&,1/*,*!01*33*,*3,/>*/,!,2'1),<1>1/*,)*1'*,<1>(',
3. il a les deux baguettes et il mange.
4. il a déposé une baguette et n'en a plus qu'une seule
)>!22+33*,(,%&2$)*+,2$1+,+*:$..*/:*+,(,2*/)*+8,
qu'il s'apprête
2, '>&3!3, (/(3(!', 3$1), à déposer2*/)*/3,
'*), 2S('$)$2S*), pour recommencer à penser.
*3, '*), *!01*33*), )$/3,
A l'état initial tous les philosophes pensent et les baguettes
2$)&*),)1+,'!,3!*'*8,
, sont posées sur la table.
!
! , 9&:+(+*, 2!+, 1/, :97, '*, 2+$3$:$'*, )1(5!/3+, '$+)<1>1/, 2S('$)$2S*,
%&)(+*, .!/0*+B, (', 2+*/%, '!, *!01*33*, (, )!, %+$(3*B, 21(), :*''*, <1(, *)3, (, )!, 0!1:S*, *3, )*, .*3, (, .!/0*+8,
1. Décrire par un RDP le protocole suivant: lorsqu'un philosophe désire manger, il prend la
=1!/%,(',!,A(/(B,(',+*2$)*,'!,*!01*33*,%*,%+$(3*,21(),:*''*,%*,0!1:S*8,2,'-&3!3,?,(,@,%1,2S('$)$2S*,?,/,@,
baguette à sa droite,
)*+!,!))$:(&*,1/*,2'!:*,?,7 /(,@puis celle qui est à sa gauche et se met à manger. Quand il a fini, il reposeA,@,la
,*3,(',2$1++!,33+*,13('*,%*,+*2+&)*/3*+,'!,%()2$/(*('(3&,%*,'!,*!01*33*,?,*
baguette*A,de
2!+,1/*,2'!:*,?,7 droite puis celle de gauche. A l’état « i » du philosophe « n » sera associée une place
@,.!+<1&*,$1,/$/8,,$.23*,3*/1,%*,'!,)-.&3+(*,&5(%*/3*,%1,2+$*'E.*,$/,2*13,)*,
:$/3*/3*+,%*,+*2+&)*/3*+,'!,.$(3(&,%1,:97,:$/:*+/!/3,%*1>,2S('$)$2S*)8,
« Pni » et il pourra être utile de représenter la disponibilité de la baguette « bj » par une place « Pbj
; , 4/%(<1*+,%*),(/5!+(!/3),%*,.!+<1!0*8,F*,+&)*!1,*)3J(',*$+/&,Q,
» marquée ou non. Compte tenu de la symétrie évidente du problème on peut se contenter de
! , $/3+*+, <1-(', -, !, 1/,la*'$:!0*B,
représenter moitié du%$//*+, 1/*, )&<1*/:*,
RDP concernant deux%*, A+!/:S())*.*/3), <1(, -, :$/%1(3, *3, *>2'(<1*+,
philosophes.
2$1+<1$(, (', )*, 2+$%1(38,
2. Indiquer F*, +&)*!1,
des invariants *)3J(', 5(5!/3,Q,
de marquage. <1!)(J5(5!/3,Q,
Le réseau est-il borné ?7$1+, &5(3*+, :*33*, )(31!3($/B, /$1),
%&A(/())$/), 1/, /$15*!1, 2+$3$:$'*+, :S!<1*,
3. Montrer qu’il y a un blocage, donner une séquence 2S('$)$2S*, />!, 2'1),de <1*, %*1>, &3!3)+, )$(3,
franchissements qui(',y/>!, 2!), %*,et
conduit
*!01*33*, *3, (', 2*/)*B,
expliquer )$(3, (', !,il'*),
pourquoi se%*1>, *!01*33*),
produit. *3, (',est-il
Le réseau .!/0*8, F$+)<1>1/,
vivant 2S('$)$2S*,
? quasi-vivant <1(, 2*/)*,
? Pour éviter 5*13,
cette
.!/0*+B, (', 2+*/%, )(.1'3!/&.*/3, '*), %*1>, *!01*33*), %$/3, (', !, **)$(/, *3, (',
situation, nous définissons un nouveau protocole: chaque philosophe n'a plus que deux états:'*), +*)3(31*, )(.1'3!/&.*/3,
!2+E),!5$(+,.!/0&8,9&:+(+*,2!+,1/,:97,:*,/$15*!1,2+$3$:$'*8,
soit il n'a pas de baguette et il pense, soit il a les deux baguettes et il mange. Lorsqu'un
philosophe qui pense veut manger, il prend simultanément les deux baguettes dont il a besoin et
il les restitue simultanément après avoir mangé. Décrire par un RDP ce nouveau protocole.

!
!