Академический Документы
Профессиональный Документы
Культура Документы
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 :
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
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
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 :
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
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
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
P1
T1 (E1)
T2 (E2)
P2 T3 (e)
P3
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 :
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
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 :
et
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
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
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
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.
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 :
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 .
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
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 ?).
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.
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
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
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.
2) 3)
4)
Printemps 2009
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.
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
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].