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

Printemps 2009

Examen RdP
Exercice N 1 : Modlisation (5 points) On considre deux machines M1 et M2 qui travaillent en ligne. Un stock tampon S de capacit limite 4 spare les deux machines. Chaque machine Mi i = 1,2 dispose galement dun stock tampon en entre SMEi i = 1,2 et en sortie SMSi i = 1,2 de capacit limite une pice. Un robot manipulateur est utilis pour transporter les pices du tampon de sortie SMS1 de M1 vers S et de S vers le tampon dentr SME2 de M2. Ce systme est schmatis par la figure suivante :

SME1 On demande :

M1

SMS1

S (4)

SME2

M2

SMS2

1) (1 pont) de modliser les machines avec leurs stocks tampons, on tiendra compte des capacits unitaires de ce tampons. 2) (1 pont) de modliser le stock S en tenant compte de sa capacit limite. 3) (1 pont) de modliser les transports, par le robot manipulateur, entre les tampons des machines et S. 4) (2 ponts) dintgrer le manipulateur dans le modle global.

Exercice N 2 : Prsentation graphique est analyse ( 5 points) On considre le RdP, donn par les matrices dincidence Pr et Post, suivant : Pre P1 P2 P3 P4 1 1 0 0 0 2 1 0 0 0 3 1 0 0 0 4 0 1 0 0 5 0 0 2 0 6 0 0 0 1 Post P1 P2 P3 P4 1 0 1 0 0 2 0 1 1 0 3 0 0 1 0 4 0 0 1 0 5 0 0 0 1 6 1 0 0 0

1) (1 pont) construire la reprsentation graphique de ce rseau 2) (2 ponts) le marquage initial est m0 = [1, 0, 0, 0]T. Construire lensemble des marquages accessibles le rseau marqu est-il born ? sans blocage ? Quelles sont les transitions quasi vivantes ? 3) (2 ponts) donner lensemble des squences rptitives.

Printemps 2009 Exercice N 3 : Proprits (6 ponts) On considre le RdP marqu de la figure suivante. Il sagit dun rseau arcs pondrs dont le marquage initial est indiqu sur cette figure.

P1

. ..
2

T1 2 3

. .
P2 P3

T2

T3

1) (2 ponts) La squence de transition < t1 t2 t3 > est-elle une squence de franchissement partir du marquage initial ? Si oui quel est le marquage atteint aprs cette squence tel que :

m0 t1 > m1 t2 > m2 t3 > m3


2) (2 ponts) Comparer les marquages m0 et m2 ; puis m0 et m3, quelles sont les proprits des squences < t1 t2 > et < t1 t2 t3 >. En dduire que le rseau nest pas born pour le marquage initial. 3) (2 ponts) Dterminer les matrices Pre et Post du RdP, donner lexpression de la matrice dincidence W = Post Pre. En dduire comment peuvent tre calculs les marquages qui rsultent de 4 application successives des squences de franchissements < t1 t2 t3 >, ou < t1 t2 >. Exercice N 4 : Proprits (4 points) On considre le rseau dcrit par :

T = {t1 ,t 2 }, P = {P}, Pr e(P ,t1 ) = 0, Post (P ,t1 ) = 1

Pr e(P ,t 2 ) = 1, Post (P ,t 2 ) = 0 , avec le marquage initiale m0 = 0. On demande :


1) (1 pont) de construire larbre de couverture 2) (1 pont) le rseau est-il born ? 3) (1 pont) le rseau est-il vivant ? 4) (1 pont) le rseau est-il sans blocage ?

Printemps 2009

Corrections
Exercice N 1 : Modlisation (5 points) On considre deux machines M1 et M2 qui travaillent en ligne. Un stock tampon S de capacit limite 4 spare les deux machines. Chaque machine Mi i = 1,2 dispose galement dun stock tampon en entre SMEi i = 1,2 et en sortie SMSi i = 1,2 de capacit limite une pice. Un robot manipulateur est utilis pour transporter les pices du tampon de sortie SMS1 de M1 vers S et de S vers le tampon dentr SME2 de M2. Ce systme est schmatis par la figure suivante :

SME1 On demande :

M1

SMS1

S (4)

SME2

M2

SMS2

1) (1 pont) de modliser les machines avec leurs stocks tampons, on tiendra compte des capacits unitaires de ce tampons.

SME1

M1

SMS1

Mme modle pour la machine M2 et ses stocks tampons.

Printemps 2009 2) (1 pont) de modliser le stock S en tenant compte de sa capacit limite.

3) (2 ponts) dintgrer le manipulateur dans le modle global. SME1

M1

SMS1

S(4)

Robot

SME2

M2

SMS2

Printemps 2009 Exercice N 2 : Prsentation graphique est analyse ( 5 points) On considre le RdP, donn par les matrices dincidence Pr et Post, suivant : Pre P1 P2 P3 P4 1 1 0 0 0 2 1 0 0 0 3 1 0 0 0 4 0 1 0 0 5 0 0 2 0 6 0 0 0 1 Post P1 P2 P3 P4 1 0 1 0 0 2 0 1 1 0 3 0 0 1 0 4 0 0 1 0 5 0 0 0 1 6 1 0 0 0

1) (1 pont) construire la reprsentation graphique de ce rseau

2) (2 ponts) le marquage initial est m0 = [1, 0, 0, 0]T. Construire lensemble des marquages accessibles le rseau marqu est-il born ? sans blocage ? Quelles sont les transitions quasi vivantes ?

Le rseau est born, non sauf. Il existe un marquage bloquant : Mb = [ 0 0 1 0]T Toutes les transitions sont quasi-vivantes. 3) (2 ponts) donner lensemble des squences rptitives. Mo [t2, t4, t5, t6 > Mo

Printemps 2009 Exercice N 3 : Proprits (6 ponts) On considre le RdP marqu de la figure suivante. Il sagit dun rseau arcs pondrs dont le marquage initial est indiqu sur cette figure.

P1

. ..
2

T1 2 3

. .
P2 P3

T2

T3

1) (2 ponts) La squence de transition < t1 t2 t3 > est-elle une squence de franchissement partir du marquage initial ? Si oui quel est le marquage atteint aprs cette squence tel que :

m0 t1 > m1 t2 > m2 t3 > m3


La squence de transitions < t1 t2 t3 > est une squence de franchissement : Mo [t1 > M1 = [ 2 3 4]T M1 [t2 > M2 = [ 3 2 4]T M2 [t3 > M3 = [ 5 2 3]T Mo [t1 t2 t3 > M3 = [ 5 2 3]T 2) (2 ponts) Comparer les marquages m0 et m2 ; puis m0 et m3, quelles sont les proprits des squences < t1 t2 > et < t1 t2 t3 >. En dduire que le rseau nest pas born pour le marquage initial. M2

Mo et

M2(P1) = Mo(P1) M2(P2) > Mo(P2) M2(P3) > Mo(P3) Mo [t1 t2 > M2 est une squence rptitive croissante pour les places P2 et P3 Le RdP est non born M3 > Mo la squence de franchissement < t1 t2 t3 > est rptitive croissante pour toutes les places du rseau.

Printemps 2009 3) (2 ponts) Dterminer les matrices Pre et Post du RdP, donner lexpression de la matrice dincidence W = Post Pre. En dduire comment peuvent tre calculs les marquages qui rsultent de 4 application successives des squences de franchissements < t1 t2 t3 >, ou < t1 t2 >. Post P1 P2 P3 Pr P1 P2 P3 W P1 P2 P3 T1 0 2 3 T1 1 0 0 T1 -1 2 3 T2 1 0 0 T2 0 1 0 T2 1 -1 0 T3 2 0 0 T3 0 0 1 T3 2 0 -1

Pour la squence de franchissement < t1 t2 t3 > nous pouvons calculer le marquage M3 Mo [t1 t2 t3 > M3 PAR /

M 3 = M 0 + W

avec

= [1,1,1]T
avec

Pour lapplication successive de la squence < t1 t2 t3 > lexpression prcdente :

M 0 [ 1 2 3 > M = M 0 + WS
S

S = (4 ,4 ,4 )

M = M 0 + 4W

=>

2 1 11 3 1 1 M = 1 + 4 2 1 0 1 = 5 1 3 0 1 1 9

Printemps 2009

Exercice N 4 : Proprits (4 points) On considre le rseau dcrit par :

T = {t1 ,t 2 }, P = {P}, Pr e(P ,t1 ) = 0, Post (P ,t1 ) = 1

Pr e(P ,t 2 ) = 1, Post (P ,t 2 ) = 0 , avec le marquage initiale m0 = 0. On demande :


1) (1 pont) de construire larbre de couverture

M 0 = (0 ) ( )
t1

t2 ( )( v )

t1 ( )( v )

2) (1 pont) le rseau est-il born ? - Non 3) (1 pont) le rseau est-il vivant ? - Oui 4) (1 pont) le rseau est-il sans blocage ? Sans blocages

Printemps 2009

Problme n1 (barme indicatif : 7 points)


Le fonctionnement dun stock de pices, de capacit finie N, est synchronis par les deux vnements externes suivants : chaque occurrence de lvnement E1 provoque larrive dune nouvelle pice dans le stock, sil y a des places libres ; chaque occurrence de lvnement E2 correspond une demande de sortie dune pice du stock, cette demande est immdiatement satisfaite sil y a des pices dans le stock, sinon cette demande est mmorise est sera satisfaite ds quune nouvelle pice arrivera dans le stock. Questions : 1. (2 points) proposez un modle RdP synchronis pour reprsenter ce systme ; prcisez (sur le RdP, ou ailleurs) le rle de chacune des places employes. 2. (1 point) en considrant uniquement la structure de votre modle, recherchez sil possde des composantes conservatives, si oui, lesquelles ; sil est susceptible de possder des squences de franchissement stationnaires, si oui, lesquelles. 3. (3 points) construisez le graphe des marquages accessibles du modle propos dans le cas particulier N = 2. Pour cela, il convient dutiliser la fois, les rgles de fonctionnement dun RdP synchronis et la procdure de construction de larbre des marquages accessibles. 4. (1 point) vrifiez, que les rponses donnes la question n2 sont confirmes par le graphe des marquages accessibles. Solution propose

P1

T1 (E1)

T2 (E2)

P2 T3 (e)

P3

P1 // places libres // P2 // places occupes // P3 // demandes en attente //

Question n2 : il faut donner la matrice dincidence :

1 0 C= 1 0 0 1
On en tire :

1 1 1

1 1 q = n 1 ; s = k 1 0 1

Printemps 2009
Il y a une seule composante conservative :

{P1, P 2} , le nombre de places libres + le nombre de

places occupes = N ; il peut y avoir des squences rptitives stationnaires, caractrises un nombre de franchissements gal de chacune des transitions du rseau. Question N3 : on choisit un marquage initial lgal, par exemple

M0 = [N

0 0] ; la transition

T2, tant une transition source, elle est toujours valide, le marquage initial valide deux transitions T1 et T2, synchronises sur deux vnements diffrents, lune ou lautre sera franchie. Si, E2 ne se produit jamais, T1 peut tre franchie N fois (N occurrences de E1), ensuite, les occurrences de E1 ne font plus voluer le marquage. Chacun de ces marquages, diffrents de M0, valide galement T2, et aprs le franchissement de T2/E2, la transition T3 est immdiatement franchie, on a :

N i N i + 1 (T 2T 3) / E 2 M i = i M i 1 = i 1 0 0
Depuis M0, si T2 est franchie sur occurrence de E2, on obtient le marquage suivant :

N =0M M 0 1
La squence {T2/E2} est donc rptitive croissante pour la place P3, le marquage prcdent est donc remplac par :

N M = 0
Ce pseudo marquage, valide les 2 transitions T1 et T2 ; comme prcdemment, le franchissement de (T2T3)/E2, le laisse inchang ; le franchissement de T1/E1 le modifie en :

N 1 M1 = 1
En rsum, on ne pourra donner que le graphe de couverture des marquages accessibles ; celuici comporte deux parties, et pour N = 2, on a :

2 1 0 T 1/ E1 T 1/ E1 0 1 (T 2T 3) / E 2 2 (T 2T 3) / E 2 0 0 0 2 2 1 0 T 1/ E1 T 1/ E1 0 T 2/ E2 1 0 (T 2T 3) / E 2 2 ( T 2T 3/ E 2 0 0
On vrifie immdiatement que la somme des marques dans les places P1 et P2 est gale N, quil existe des squences rptitives stationnaires qui sont telles que : <T1T2T3>.

Printemps 2009

Problme n2

(barme propos : 7 points)

On considre le RdP, non marqu, de la Figure. Cest un graphe dvnement dont la matrice dincidence est

1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 C= 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1
Questions 1. (1 point) dmontrez que le systme de 7 quations 10 inconnues,

qT C = 0

17

possde une solution gnrale que lon peut exprimer sous la forme suivante, dans laquelle les variables a, b, c, d sont des nombres entiers non tous nuls :

qT = [ a + b

a+c

a+c

b+d

2. (2 points) partir de cette solution gnrale, donnez les quatre composantes conservatives de ce RdP, et en dduire quil est conservatif quel que soit le marquage initial envisag. 3. (3 points) ce RdP est maintenant pourvu dun marquage initial et dune relation de synchronisation :

M 0 = [1, 0, 0,1, 0, 0, 0, 0,1, 0]

et

synchro : = {E1, E 2} T telle que E1

est associ aux transitions

T 1, T 2 et E 2 aux transitions T 3, T 5 .

a. construire larbre, ou le graphe, des marquages accessibles, stables et instables, du rseau synchronis ; b. dduire de cet arbre, ou de ce graphe, le graphe de lautomate reprsentant les comportements du systme modlis par le RdP synchronis propos. Solution propose La troisime colonne de la matrice dincidence impose que q5 colonnes deux et quatre, que q5 colonnes impliquent que q8

= q6 . Ce qui entrane, avec les

= q2 + q4 = q6 = q4 + q7 q2 = q7 . Les sixime et septime

= q3 + q9 = q9 + q10 q3 = q10 . En posant


q2 = a, q3 = b, q4 = c, q10 = d

on obtient lexpression donne pour la solution gnrale. Cette solution est une combinaison linaire de quatre vecteurs de base :

Printemps 2009 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 q = a +b +c +d 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0
chacun de ces vecteurs, il correspond une composante conservative ; ce qui fournit :

P 1 = {P1, P 2, P5, P 6, P 7}, P 2 = {P1, P3, P8, P10} P3 = {P 4, P5, P6}, P4 = {P8, P9}
Remarques : si on connat les rsultats classiques lis aux proprits structurelles des graphes dvnements fortement connexes, le rsultat obtenu ici est vident, chacune des composantes conservatives correspond un circuit lmentaire, ce rsultat peut tre obtenu sans avoir rpondu la question n1. Le marquage initial valide uniquement la transition T1, celle-ci sera franchie sur loccurrence de E1 ; il est stable. Le nouveau marquage (P2, P3, P4, P9) valide deux transitions, T2 et T5, chacune est associe un vnement diffrent, elles ne seront donc jamais franchies simultanment ; il est stable. Depuis le marquage stable (P2, P3, P4, P9) : le franchissement de T2 sur une nouvelle occurrence de E1, fournit le marquage suivant : (P3, P5, P9). Il valide les transitions T3 et T5, associes au mme vnement, il est stable. Ces transitions ne sont pas en conflit structurel, elles forment une SSM, le franchissement de cette SSM fournit (P6, P8) instable. Ce marquage valide deux transitions, T4 et T6, non synchronises, elles ne sont pas en conflit structurel, elles forment une SSM, le franchissement de cette SSM fournit (P4, P7, P9, P10), instable. Ce marquage valide T7, non synchronise, son franchissement fournit le marquage initial. le franchissement de T5 sur occurrence de E2, fournit le marquage (P2, P4, P8), il valide T6 qui est immdiatement franchie, ce marquage est instable. On obtient (P2, P4, P9, P10), qui valide T2 ; celle-ci sera franchie sur occurrence de E1, il est stable. Le marquage rsultant de ce franchissement sera (P5, P9, P10), il ne valide que T3, il est stable. Celle-ci sera franchie lors de loccurrence de E3, ce qui conduit au marquage (P6, P9, P10) qui valide T4. Celle-ci sera immdiatement franchie, et fournit (P4, P7, P9, P10) qui valide T7, immdiatement franchie, ce qui donne nouveau le marquage initial. Lautomate quivalent correspond au graphe des marquages accessibles, dans lequel on a supprim tous les marquages instables.

Printemps 2009 Utilisation du modle RdP ordinaire II


Exercice n1 On considre un systme informatique constitu de trois machines M1, M2 et M3. Les donnes qui arrivent dans ce systme pour y tre traites sont, dabord, stockes dans une file dattente F1 dans laquelle les machines M1 et M2 vont les prlever, une une. Avant de quitter ce systme, chaque donne reue dans F1 doit subir deux oprations de traitement, O1 et O2, qui doivent tre excutes dans lordre O1 puis O2. Lopration O1 peut tre ralise avec la machine M1, ou avec la machine M2. Lopration O2 ne peut tre ralise quavec la machine M3. Aprs avoir subi lopration O1, les donnes transformes qui quittent M1 ou M2 sont places dans une file dattente F2 dans laquelle la machine M3 les prlvent une une. Aprs avoir subi lopration O2, les donnes finales sont places dans une troisime file dattente F3 avant dtre transfres vers un autre systme. La ralisation de lopration O1 sur la machine M1 requiert le concours dune ressource R1, tandis que celle de O1 sur M2 requiert celui dune autre ressource R2. Enfin, la ralisation de O2 sur M3 requiert le concours soit de R1, soit de R2. On supposera que les capacits daccueil des trois files dattente ne sont pas limites. Les oprations O1, et O2 constituent les deux seules activits, ou tches, de ce systme ; chacune peut tre reprsente, en termes de RdP, par une transition de type tche. (a) pour chaque activit, dresser la liste des ressources qui doivent tre disponibles pour quelle puisse dbuter ; (b) pour chaque activit, dresser la liste des ressources qui deviennent disponibles lorsque lactivit est termine ; (c) dduire, des deux questions (a) et (b), une reprsentation par RdP de systme. (d) Comment doit tre modifi ce RdP si, maintenant, on fait lhypothse que les 3 files dattente ont des capacits limites ? Exercice n2 Un service dune administration utilise le protocole suivant pour grer les services quelle rend ses clients : (a) lorsque sa porte dentre est ouverte les clients sont admis un par un dans un local dattente. La capacit maximum daccueil de ce local est un nombre entier, n, plus grand que un, mais non connu a priori. (b) Tant que la porte dentre est ouverte, aucun service nest rendu aux clients qui attendent. (c) Lorsque ce service administratif le dcide, la porte dentre est ferme ce qui provoque louverture dune porte de sortie ; les clients sont alors servis un par un, et sortent, un par un, par cette porte. (d) La porte dentre ne pourra tre nouveau ouverte que lorsque tous les clients qui taient entrs seront sortis. On demande : 1. De reprsenter les relations vnements/conditions dtat imposes par le protocole choisi par ce service administratif laide dun RdP ordinaire (i.e. places transitions). Pour cela, vous devrez constater, de vous mme, quil convient de palier une limitation du pouvoir de modlisation des RdP ordinaires, savoir leur incapacit valider une transition dont lune des places dentre ne contient aucun jeton ! 2. Pour la valeur n = 3, on vous demande de vrifier, en donnant le graphe des marquages accessibles, que le RdP propos rpond correctement aux spcifications : le marquage initial considr correspondra ltat suivant : aucun client en attente, porte dentre ouverte.

Printemps 2009
3. La notion darc inhibiteur : un arc dit inhibiteur est un arc qui relie une place une transition, une condition ncessaire pour que la prcondition de cette transition soit vraie est que cette place ne contienne aucun jeton ; elle diffre donc de la condition ncessaire habituelle. En quoi, cette notion darc inhibiteur permet-elle de reprsenter le fonctionnement de ce service administratif lorsque la capacit daccueil du local nest pas fixe ? Exercice n3 On considre un systme constitu dune file dattente et dun serveur. La capacit maximum daccueil de la file dattente est de

{0} clients. Le serveur a trois tats : il peut tre

disponible (D), il peut tre en cours de service (S), il peut tre en panne (I). Lorsque le serveur est en cours de service , il peut tomber en panne. Cet vnement provoque le retour du client, qui tait en cours de service, dans la file dattente. Une fois le serveur rpar, il redevient disponible. Les vnements prendre en compte sont : a : arrive dun nouveau client dans la file ; b : dbut dun service ; d : dpart dun client servi (service complet rendu) vers lextrieur ; p : le serveur tombe en panne. r : le serveur est rpar. On demande : (a) dtablir la liste des prconditions et des post-conditions de chacun des vnements ; (b) den dduire un RdP qui permettra de reprsenter le fonctionnement de ce systme ; (c) quel est le marquage initial du RdP qui correspond ltat global suivant : le serveur est disponible, n = 3 et il y a deux clients en attente dans la file ; (d) dutiliser les rgles de validation et de franchissement des transitions pour dduire les tats accessibles depuis ltat initial.

Printemps 2009 Exercice n1


On considre un rseau ordinaire dont la structure est donne par les deux application Pr et Post suivantes :

Post p1 p2 p3 Pr p1 p2 p3
On vous demande :

t1 0 2 3 t1 1 0 0

t2 1 0 0 t2 0 1 0

t3 2 0 0 t3 0 0 1

1. De dterminer si ce rseau possde des composantes conservatives, et si oui, lesquelles ? 2. Ce rseau peut-il possder des squences de franchissement rptitives stationnaires ? 3. partir du marquage initial suivant :

m0 = [3 1 1] , dterminez si la squence de transitions


T

s1 = t1 t 2 est une squence franchissable, si oui quel est le marquage atteint par son
franchissement, quelle proprit peut-on attacher cette squence de transitions. 4. Mme question quen 3, pour la squence de transitions

s 2 = t1 t 2 t 3 .

5. Construire le graphe dit de couverture des marquages accessibles.

Exercice n2
Le rseau analyser est donn la figure n1, ci-dessous.

p1 t1 p2 t2 t4 t3 p3

Figure n1. 1. Dterminez si ce rseau possde, ou non, des composantes conservatives. 2. Dterminez si ce rseau peut possder des squences de franchissement rptitives stationnaires. 3. On considre le marquage initial suivant :

m0 = [1 0 0] , construisez le graphe de
T

couverture des marquages accessibles, et en dduire que pour ce marquage initial, ce rseau est sauf, que les transitions t1 et t 2 sont vivantes, mais que le rseau nest pas vivant, que ce rseau peut tre rinitialis. 4. On considre cette fois, le marquage initial :

m0 = [2 0 0] , construisez le graphe de
T

couverture des marquages accessibles, et en dduire que :

Printemps 2009
Que le rseau est born, donnez la valeur de la borne ; Quil est sans blocage ; Que les transitions quasi vivantes Quil possde des squences de franchissement rptitives stationnaires, lesquelles ? Quil peut tre rinitialis, sous quelles conditions (i.e. partir de quels marquages ?).

t1 et t 2 sont vivantes, mais que les transitions t 3 et t 4 ne sont que

Exercice n3
On considre deux RdP, diffrents, donns la figure n2 ci-dessous.

t4 2 t1 2 p3 t3

p1 (a)

t2

p2

t4 p3 t1 t3

p1 (b)

t2

p2

Figure n2. 1. Montrez que ces deux rseaux marqus ont le mme graphe de couverture. 2. Montrez que le rseau de la figure n2a possde un marquage bloquant accessible, mais que le rseau de la figure n2b ne possde aucun marquage bloquant.

Printemps 2009 Exercice n1


On considre le rseau de trois files dattente et trois serveurs (cf. figure 1), dj tudi en TD avec le modle automate : Chaque client qui quitte le serveur S1 est dirig vers la file dattente F2 si le nombre de clients en attente dans F3 est infrieur ou gal celui de F2, sinon il est dirig vers la file F3. Les capacits daccueil de trois files sont limites, de plus, on suppose que ces capacits sont gales, capacit (Fi) = 4 pour i = 1, 2, 3. On demande : 1. De donner un premier RdP ordinaire dont la structure seule va reprsenter le fonctionnement de base de ce systme. 2. De constater quil est impossible, avec des RdP ordinaires, de prendre en compte la politique de routage des clients ayant reu le premier service.

C2 C1 a1 b1 d1 a3 C3
Figure 1 3. De proposer une extension des RdP ordinaires afin de palier cette limitation des RdP ordinaires. 4. Avec cette extension, comment prendrait-on en compte la contrainte supplmentaire suivante : un nouveau client, venant de lextrieur, ne peut tre admis dans le systme que si le nombre total de clients dj prsents est infrieur au gal 7 ?

a2

b2

d2

b3

d3

Exercice n2
On considre un rseau ordinaire dont la structure est donne par les deux application Pr et Post suivantes :

Pr p1 p2 p3 p4 Post p1 p2 p3 p4
On vous demande :

1 1 0 0 0 1 0 1 0 0

2 1 0 0 0 2 0 1 1 0

3 1 0 0 0 3 0 0 1 0

4 0 1 0 0 4 0 0 1 0

5 0 0 2 0 5 0 0 0 1

6 0 0 0 1 6 1 0 0 0

Printemps 2009
6. De construire la matrice dincidence C de ce rseau, et den dduire que le systme homogne

q T C = 016 ne possde pas dautres solutions que la solution triviale q = 0 41 .

Quelles sont les consquences de cette proprit par rapport lexistence de composantes conservatives ? 7. partir de lapplication Pr, de donner des marquages (i.e. des distributions initiales de jetons dans les places) qui ne valident aucune des transitions de ce rseau. Est-il possible de conclure leur non accessibilit ? 8. De construire lensemble des marquages accessibles partir du marquage initial suivant :

m0 = [1 0 0 0] .
T

9. De dduire de la question 3 quels sont les marquages donns en rponse la question 2 qui sont accessibles. 10. De montrer, partir du graphe des marquages accessibles, quil existe des squences de franchissement depuis le marquage initial qui permettent dy revenir autant de fois que lon veut, donner ces squences de franchissements. De telles squences de franchissement sont appeles des squences rptitives stationnaires. 11. De donner la condition ncessaire dexistence de squences de franchissement telles que celles de la question 5.

Exercice n3
Soit le RdP de la figure 2. 1. donner ses applications Pr et Post, en dduire sa matrice dincidence. 2. dterminer toutes ses composantes conservatives, ce RdP est-il conservatif ? Quelle est, en termes de proprits de fonctionnement du systme que ce RdP reprsente, la signification de chacune des composantes conservatives.

D t1 Q t2 S t4 P t5 F t3

Figure 2

Printemps 2009

Ordonnancement cyclique de tches


On considre un ensemble de 8 tches, ou activits, notes A, B, C, D, E, F, G, H, susceptibles dtre excutes par un systme informatique. Une fois lance, une tche quelconque ne peut tre interrompue. La politique de lancement de chacune de ces tches est la suivante : a) linitialisation, la tche A est excutable. Les tches B et C ne peuvent tre excutes quaprs la fin A, ce qui nimplique pas que ces 2 tches soient ncessairement lances en mme temps. La tche D nest excutable quaprs la fin de B ; E nest excutable quaprs la fin de C ; F nest excutable quaprs la fin des tches C et D ; G nest excutable quaprs la fin des tches D et E ; enfin, H nest excutable quaprs la fin des tches F et G. b) La tche A peut tre nouveau excute aprs la fin de E ; la tche B aprs la fin de A et de H, et le cycle peut recommencer indfiniment. Afin de reprsenter ces contraintes de lancement des tches laide dun RdP, on adoptera, dabord, la convention suivante : une tche sera reprsente par une place - tche, de mme nom que celui de la tche. Une place - tche possdera une seule transition dentre et une seule transition de sortie (i.e. la transition dentre peut tre associe lvnement lancement de la tche, la transition de sortie lvnement fin de tche). 1. Pour chaque tche, reprsentez, en termes de RdP, la prcondition de franchissement de sa transition dentre. 2. Donnez ensuite le RdP complet, ainsi que son marquage initial. Vrifiez que la structure de ce RdP est celle dun graphe dvnements. 3. En utilisant la rgle de franchissement des transitions, vrifiez que les contraintes de lancement sont bien satisfaites. 4. On dcide de simplifier ce RdP en utilisant la notion de transition activit : une transition activit correspond exactement au motif suivant : la transition de lancement de la tche, suivie de la place tche, suivie de sa transition fin de la tche. Donnez le nouveau RdP qui dcoule de cette simplification, sagit-il encore dun graphe dvnements ? 5. Ce nouveau rseau comporte-t-il des places dont le nombre de jetons peut augmenter indfiniment ? comporte-t-il des circuits lmentaires dans lesquels le nombre de jetons est constant ? (On appelle circuit lmentaire dun RdP, un chemin qui dbute par une transition (resp. une place) et qui se termine par la mme transition que celle du dbut (resp. la mme place), sans rencontrer plus quune fois un mme sommet).

File dattente et protocole de service


Un service dune administration utilise le protocole suivant pour grer les services quelle rend ses clients : a) lorsque sa porte dentre est ouverte les clients sont admis un par un dans un local dattente. La capacit maximum daccueil de ce local est un nombre entier N , plus grand que un, mais non connu a priori. b) Tant que la porte dentre est ouverte, aucun service nest rendu aux clients qui attendent

Printemps 2009 c) Lorsque ce service administratif le dcide, la porte dentre est ferme ce qui provoque louverture dune porte de sortie les clients sont alors servis, un par un, et sortent, un par un, par cette porte. On demande : 1) De reprsenter le fonctionnement de ce service laide dun RdP ordinaire. 2) De vrifier (pour N=3) en donnant le graphe des marquages accessibles que le RdP propos rpond correctement aux spcifications. Ltat initial est le suivant : aucun client en attente, porte dentre ouverte. 3) La notion darc inhibiteur - un arc qui relie une place une transition, une condition ncessaire pour que la pr-condition de cette transition soit vraie est que cette place ne contient aucun jeton. Modifier le modle propos en utilisant cette nouvelle dfinition.

Le Dner chinois des philosophes


Quatre philosophes P1 P4 sont assis autour dune table. Quatre baguettes b1 b4 sont sur la table, telles que b1 est droite de P1 et gauche de P4, etc. Chaque philosophe deux tats : il pense ou il mange. Pour passer de ltat pense ltat mange , chaque philosophe doit utiliser la baguette situe sa droite et celle situe sa gauche. 1) Dcrire par un RdP un philosophe qui respecte le protocole suivant : lorsquil dsire manger il doit dabord prendre la baguette sa droite puis celle sa gauche ; lorsquil termine de manger il dpose les deux simultanment sur la table. Dcrire par un RdP lensemble des philosophes en utilisant le motif propos en 1. A partir de ltat initial tous les philosophes pensent et toutes les baguettes sont sur la table montrez quil existe au moins une squence de franchissement qui conduit un blocage. Proposer une solution

2) 3)

4)

Printemps 2009

Exercice I Une cellule de travail est compose de 2 machines

M 1 et M 2 , et dun chariot filoguid, AGV. La

reprsentation du fonctionnement de lensemble est donne sous la forme de 3 automates, cf. figure ci-dessous, respectivement dsigns par M 1 , M 2 et AGV, le systme complet est dcrit par la composition parallle:
M1 a1 0 b1 AGV a2 1 b1 0 c b2 2 1 0 b2

G = M 1 // M 2 // AGV .

M2 a2 1

1. partir de cette description, on demande dtablir un modle RdP de cette cellule de travail. Donnez les deux applications Pr et Post de ce rseau. 2. Quel est le marquage du rseau qui correspond ltat global actif suivant : (tat 0 de M1 actif) ET (tat 0 de M2 actif) ET (tat 0 de AGV actif). Quelles sont les transitions valides par ce marquage. 3. Dduire de la question 2, quels sont les marquages qui rsultent des franchissements possibles.

Exercice II On considre un systme constitu dune file dattente et dun serveur. La capacit maximum daccueil de la file dattente est N1. Le serveur a trois tats : il peut tre disponible (D), il peut tre en cours de service (S), il peut tre en panne (I). Lorsque le serveur est en cours de service , il peut tomber en panne. Cet vnement provoque le retour du client, qui tait en cours de service, dans la file dattente. Une fois le serveur rpar, il redevient disponible. (Attention au dbordement de la file) Les vnements prendre en compte sont : a : arrive dun nouveau client dans la file ; d : dbut dun service ; f : dpart dun client servi (service complet rendu) vers lextrieur ; p : le serveur tombe en panne. r : le serveur est rpar. On demande : (e) dtablir la liste verbale des prconditions et des post-conditions de chacun des vnements ; (f) den dduire un RdP qui permettra de reprsenter le fonctionnement de ce systme ; (g) quel est le marquage initial du RdP qui correspond ltat global suivant : le serveur est disponible, N1=3 et il y a deux clients en attente dans la file ; (h) dutiliser les rgles de validation et de franchissement des transitions pour dduire les tats accessibles depuis ltat initial.

Printemps 2009

Exercice III [david et alla] On considre latelier flot symbolis sur la figure. Des pices arrivent dans le stock ST1, passent sur la machine MA1, puis dans le stock ST2, enfin sur la machine MA2 avant de sortir de latelier. Les stocks ont une capacit illimite. Il ne peut y avoir quune seule pice sur chaque machine. Il y a deux types de pices, p1 et p2. Les pices arrivent dans un ordre quelconque (donc elles sont mlanges dans le stock ST1) mais elle passent sur les machines dans un ordre bien dfini, qui est une alternance p1 puis p2 puis p1 etc. 1. Est-il possible de modliser ce problme comme un automate ? Justifiez votre rponse. 2. A laide de RdP, modlisez le parcours dune pice p1 dans le systme. Ce parcours commence par larrive de p1 dans la premire file et se termine par la fin de service de MA1.

3. Le parcours de p2 est identique celui de p1 mais ncessite la modlisation par une


squence spare. Pourquoi ?

4. A prsent, il faut rajouter le mcanisme qui impose lordre de traitement dans chaque
machine. MA1 traite dabord p1 puis p2 puis p1. MA2 traite indpendamment de lautre machine mais respect le mme ordonnancement de p1 et p2.

Arrive p1 et p2

ST1 d1

MA1 f1

ST2 d2

MA2 f2

Exercice IV [autovaluation] La machine MA1 reoit une pice, la traite puis la dpose dans le stock ST1 si ce stock nest pas plein. Elle peut ensuite recevoir une autre pice. La machine MA2 fonctionne de faon identique avec le stock ST2. La machine MA3 fail lassemblage : elle prend une pice dans ST1 et une pice dans ST2, quelle assemble avant de dposer le produit assembl dans un stock aval qui nest pas reprsent et qui est suppos ne jamais tre plein. Elle peut alors recommencer. Les stocks ST1 et ST2 ont des capacits de 3 et 4 units respectivement. On suppose en outre quune machine peut tomber en panne pendant la production dune pice. Aprs la panne, interviendra une rparation qui permettra de continuer la production. Reprsenter le fonctionnement de ce systme par un RdP. On ne reprsentera ni lamont des machines MA1 et MA2, ni laval de la machine MA3.

MA1

ST1 d1 MA3

MA2

f3 ST2 d2

Printemps 2009
Exercice I On considre deux boules de billard, A et B qui se dplacent sur une mme ligne parallle une des bandes (voire figure). Chaque boule peut avoir 3 tats : en mouvement vers la gauche, vers la droite, ou arrte. On demande de modliser le comportement de ces boules par un RdP en supposant que a.) une boule qui heurte une bande repart dans lautre sens la mme vitesse, b.) si les deux boules sont en mouvement (elles sont supposes avoir la mme vitesse) elles repartent chacune en sens inverse quand elles se heurtent, et c.) si une boule est arrte et heurte par lautre, la premire se met en mouvement et lautre sarrte (on suppose quil ny a pas de ralentissement et arrt par frottement). On commentera plusieurs tats initiaux possibles.

boule A

boule B

Exercice II On considre le protocole suivant de gestion des cabines et des paniers dune piscine. A lentre, le 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 de ses vtements 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. 1. Soit Nc le nombre de cabines et Np le nombre de paniers. Modlisez ce protocole avec Nc=3 et Np=5. Le nombre de clients la baignade (cest--dire aprs dshabillage et avant rhabillage) est-il born ? Le RdP est-il born ? Montrer quil y a un tat de blocage. Y-a-til blocage pour toutes valeurs de Nc et de Np ? 2. Dfinir un protocole pour quil ny ait pas de blocage, et donner le RdP correspondant. 3. Modifier le RdP du 2.) pour modliser le nombre des clients qui attendent une cabine pour entrer la piscine.

Exercice III A partir dune matrice dincidence dessinez le RdP. Il sagit dun RdP pur.

1 1 W = 0 1 0

0 1 1 1 0

1 0 1 1 0

0 0 1 1 1

1 0 0 0

1. Est-ce que rseau est structurellement born ? 2. Est-ce que ce rseau peut contenir des blocages ? Donnez des exemples. 3. Est-ce quil peut contenir une boucle ?

Printemps 2009
Exercice IV A partir du RdP ci-dessous donnez sa matrice dincidence

P1 T1 P2 T3 P4 T5
1. Est-ce que ce RdP franchissements. est structurellement

T2 P3 T4 P5 T6

born ? Justifiez

par une squence de

2. Peut-il tre vivant ? Peut-il y avoir un blocage ? Peut-il tre quasi-vivant ? Donnez un marquage initial pour chaque cas. 3. Calculez ses composantes conservatives. 4. Calculez ses composantes rptitives. Peuvent-elles tre associes une squence de franchissement partir de M0=[0 ; 0 ; 0 ; 0 ; 1] ?

Exercice V A partir dun RdP de lexercice III et du marquage initial M01=[0 ; 0 ; 0 ; 1 ; 1] faire graphe de marquages. Dterminez partir de ce graphe, est-ce que ce rseau est born pour ce marquage initial ? Est-il vivant, quasi-vivant, rinitialisable ? Dterminez chaque fois, si cela est possible, les squences de franchissements correspondants.

Exercice VI A partir dun RdP de lexercice IV et du marquage initial M01=[1 ; 0 ; 0 ; 0 ; 0] faire un graphe de couverture. Dterminez partir de ce graphe, est-ce que ce rseau est born pour ce marquage initial ? Est-il vivant, quasi-vivant, rinitialisable ? Dterminez chaque fois, si cela est possible, les squences de franchissements correspondants.

Exercice VII [auto-valuation] Refaites lexercice V avec le marquage initial M02=[1 ; 0 ; 0 ; 0 ; 0] puis M03=[2 ; 0 ; 0 ; 0 ; 0].

Exercice VIII [auto-valuation] Refaites lexercice VI avec le marquage initial M02=[2 ; 0 ; 0 ; 0 ; 0].