UNIVERSITE DE CAEN U.F.R.

de SCIENCES

e 1i`re session 2005

Master EEA 1A, Pro AEII et recherche ESCI Examen: Rseaux de Petri e AE406T2 dure: 1h30 e

Responsable : G. Scorletti Chaque candidat doit, au dbut de lpreuve, porter son nom dans le coin de e e la copie quil cachera par collage apr`s avoir t point. Il devra en outre e e e e porter son numro de place sur chacune des copies, intercalaires, ou pi`ces e e annexes. Aucun document autoris. Les tlphones portables (mme e e ee e teints) calculatrices et ordinateurs de poche ne sont pas autoriss. La note e e nale prendra en compte la qualit de la rdaction et des justications des e e rponses. e Tous les exercices sont indpendant e

Etude des proprits dun rseau de Petri e e e

On consid`re le rseau de Petri reprsent gure 1. Il modlise le fonctionnement dune e e e e e

P1

P0

P2

T1 P3 T3

T5 P5

T2 P4 T4

Figure 1: Entreprise de location de voitures entreprise de location de voitures qui a deux types de clients.

La place P0 correspond au nombre de voitures prtes ` tre loues. La place P1 e a e e (respectivement P2 ) indique le nombre de clients de type 1 (resp. 2) attendant pour louer une voiture. Le franchissement de la transition T1 (respectivement T2 ) correspond au dbut de la location dune voiture par un client de type 1 (resp. 2). Le nombre e de marques dans la place P3 (resp. P4 ) correspond au nombre de voitures loues par e les clients de type 1 (resp. 2). La n de la location par un client de type 1 (resp. 2) correspond au franchissement de la transition T3 (resp. T4 ). La voiture est alors au garage pour entretien : le nombre de jetons dans P5 indique le nombre de voitures au garage. Le franchissement de la transition T5 correspond ` la n de lentretien. a 1. Etude du rseau de Petri par Rduction e e Rappel : il faut justier lapplication des r`gles de rduction en montrant que les e e conditions dapplication sont satisfaites. (a) Construire un rseau de Petri rduit du rseau de Petri gure 1 en utilisant les e e e rductions Ra et Rb. e (b) A partir de ce rseau de Petri rduit, dterminer les invariants de marquage. e e e En dduire si le rseau de Petri est conservatif. e e e e e e e (c) Interprter les invariants de marquage dtermins dans la question prcdente. (d) Construire un rseau de Petri rduit en utilisant les rductions R1, R2, R3 et e e e R4. e e e e e (e) A partir de ce rseau de Petri rduit, dterminer si le rseau est vivant et born. Quelles sont les squences rptitives stationnaires ? e e e 2. Etude du rseau de Petri par le graphe des marquages e (a) Construire le graphe des marquages accessibles pour le marquage initial dni e par la gure 1. (b) A partir de ce graphe, dterminer si le rseau de Petri est born et vivant. e e e e e (c) Dterminer lensemble de toutes les squences de franchissement. Existe-il une ou plusieurs squence(s) rptitive(s) ? Si oui, la (les) donner. e e e

Questions de cours
1. Sous quelles conditions la transition dun rseau de Petri gnralis est-elle frane e e e chissable ? 2. Sous quelles conditions la transition dun rseau de Petri color est-elle franchisse e able ? e e 3. Y a-t-il un lien entre la bornitude dun rseau de Petri synchronis et le bornitude du rseau de Petri ordinaire associ ? Si oui, lequel. e e 4. Donner la dnition dune place implicite (r`gle de rduction R2). e e e

Modlisation du fonctionnement dune station de e ski par rseaux de Petri e

Lobjectif est de modliser le fonctionnement dune petite station de ski dote de deux e e caisses et dune piste de ski desservie par un tlphrique. Le bas de la piste est ` la sortie ee e a de deux caisses : le tlphrique permet datteindre le haut de la piste ` partir du bas de ee e a celle-ci. La deuxi`me partie de lexercice est indpendante de la premi`re. e e e 1. Modlisation du fonctionnement des caisses e (a) A son arrive, pour lachat de son forfait, un client choisit de faire la queue e devant lune des deux caisses. Ce choix eectu, il ne peut pas changer de e caisse. De plus, il ny a pas de limitation sur la longueur des deux queues. Par contre, chaque caisse ne peut traiter quun seul client ` la fois. Reprsenter le a e fonctionnement des deux caisses par un rseau de Petri ordinaire. Comment le e modier en un rseau de Petri P-temporis pour prendre en compte la dure d e e e minimale de traitement dun client par une caisse ? (b) Reprsenter le fonctionnement des deux caisses par un rseau de Petri color e e e (sans prendre en compte la dure d). e 2. Modlisation du fonctionnement du tlphrique. La question (d) est indpendante e ee e e de la question (c). (a) La cabine du tlphrique est au dpart en bas de la piste, en train dattendre ee e e que les clients entrent dans la cabine. Une fois que ceux-ci sont entrs, la e cabine monte en haut de la piste. Arrive en haut de la piste, elle attend que e les clients sortent de la cabine. Ensuite, elle redescend vers le bas de la piste pour charger ` nouveau des clients. Reprsenter le fonctionnement de la cabine a e de tlphrique par un rseau de Petri ordinaire, sans modliser lentre et la ee e e e e sortie des clients. (b) Apr`s avoir achet son forfait ` la caisse, le client va faire la queue pour prene e a dre le tlphrique. Quand la cabine du tlphrique est en bas de la piste, les ee e ee e clients entrent un par un dans la cabine qui ne peut contenir quun maximum de 5 clients. Arrivs en haut de la piste, tous les clients sortent de la cabe ine. Reprsenter le fonctionnement du tlphrique avec clients par un rseau e ee e e de Petri ordinaire en compltant le rseau de Petri ordinaire de la question e e prcdente. e e e e (c) Lentre dun client dans la cabine en bas de la piste a une dure d1 , sa sortie de la cabine en haut de la piste a une dure d2 . De plus, les clients entrent et e sortent un par un. Modier le rseau de Petri ordinaire de la question (b) pour e prendre en compte ce phnom`ne. Le rseau ainsi obtenu sera P-temporis. e e e e ee e e a (d) Le tlphrique entamera la monte que quand un minimum de 2 clients est ` lintrieur de la cabine. Quand la cabine est vide, elle entamera sa descente. e Complter le rseau de Petri ordinaire de la question (b) pour prendre en e e compte ces deux phnom`nes. Le rseau ainsi obtenu sera gnralis. e e e e e e

UNIVERSITE DE CAEN U.F.R. de SCIENCES

e 1i`re SESSION 2006 Juin 2006

Master EEA 1A, Pro AEII et Recherche ESCI Examen: Rseaux de Petri e AE406T2 dure: 1h30 e

Responsable : G. Scorletti Chaque candidat doit, au dbut de lpreuve, porter son nom dans le coin de e e la copie quil cachera par collage apr`s avoir t point. Il devra en outre e e e e porter son numro de place sur chacune des copies, intercalaires, ou pi`ces e e annexes. Aucun document autoris. Les tlphones portables (mme e e ee e teints) calculatrices et ordinateurs de poche ne sont pas autoriss. La note e e nale prendra en compte la qualit de la rdaction et des justications des e e rponses. e

Tous les exercices sont indpendant e

Questions de cours
1. Expliquer le lien entre T-semi ot et squence rptitive. e e e 2. Si la transition Tj est quasi vivante pour un marquage initial M0 alors que peut-on e dire pour le marquage initial M0 M0 ? Mme question pour une transition Tj vivante. 3. Quelle est la dirence entre un conit eectif et un conit structurel ? e 4. Donner la dnition dune place substituable (r`gle de rduction R1). e e e

Modlisation du fonctionnement de chariots par rseaux e e de Petri

C1 S1 Ch1 D S0

Figure 1: Un chariot

1. Un chariot Ch1 transporte du matriel dun point de chargement C1 ` un point de e a dchargement D en empruntant une voie ferre unique dcoupe en deux secteurs S1 e e e e et S0 (voir Figure 1). Au dpart, le chariot stationne sur le point de chargement C1 . Il e emprunte le secteur S1 puis S0 de la voie ferre pour arriver au point de dchargement e e D. Apr`s avoir stationn en D, il emprunte le secteur S0 puis S1 an de regagner le e e point de chargement. Reprsenter le fonctionnement du chariot par un rseau de Petri ordinaire. Le mod`le e e e doit prendre en compte le fait quil ne peut y avoir quun seul chariot, que ce soit dans le point de chargement C1 ou le secteur S0 ou le secteur S1 ou encore le point de dchargement D. e

C1

Ch1 Ch2 D S1 S0

S2 C2

Figure 2: Deux chariots

2. Un deuxi`me chariot Ch2 transporte du matriel dun second point de chargement C2 e e au point de dchargement D en empruntant une voie ferre dcoupe en deux secteurs e e e e S2 et S0 (voir gure 2). Au dpart, le chariot Ch2 est sur le point de chargement C2 . e Noter que le point de dchargement D et le secteur S0 sont communs aux chariots e Ch1 et Ch2 . Le chariot Ch1 (respectivement Ch2 ) sur la voie S1 (resp. S2 ) ne peut emprunter la voie S0 que si cette voie et le point de dchargement D sont libres. e Reprsenter le fonctionnement de lensemble des deux chariots par un rseau de Petri e e ordinaire. 3. Reprsenter le fonctionnement de cet ensemble de deux chariots par un rseau de e e Petri color. e 2

Etude des performances dune usine de recyclage

On consid`re le recyclage dobjets de deux types, numrotes 1 et 2, par une usine quipe e e e e e de deux machines, numrots 1 et 2. La premi`re machine permet le recyclage complet e e e dobjets de type 1 ou 2, le recyclage ayant une dure minimale d1 . La seconde machine e ne permet que le recyclage dobjets de type 2, le recyclage ayant une dure minimale e d2 . Chaque machine ne peut recycler quun seul objet ` la fois. A la sortie de lusine a de recyclage, les objets de type 1 (respectivement 2) sont utiliss par les consommateurs e e e a pendant une dure au moins gale ` d4 (resp. d3 ) avant dtre renvoys ` lusine de recyclage. e e a A linstant initial, les consommateurs utilisent N1 objets de type 1 et N2 objets de type 2 ; les machines 1 et 2 sont disponibles.

P1
N1 d4

P5

d3 N2

T1 P3 P2 T2 T4
d1

T3 P4
d=0 d1

T5 P6 P7
d2 d=0

T6

Figure 3: Recyclage des produits 1 et 2 Le fonctionnement du recyclage est modlis par le rseau de Petri reprsent gure 3. e e e e e Le nombre de marques dans la place P1 (resp. P5 ) reprsente le nombre dobjets de type e 1 (resp. 2) en cours dutilisation par des consommateurs. Une marque dans la place P3 (resp. P7 ) indique que la machine 1 (resp. 2) est disponible. Une marque dans la place P2 (resp. P4 ) indique que la machine 1 est en train de recycler un objet 1 (resp. 2). Une marque dans la place P6 indique que la machine 2 est en train de recycler un objet de type 2. 1. Etude du rseau de Petri par Alg`bre Linaire e e e e e e (a) Dterminer la matrice dincidence arri`re et la matrice dincidence du rseau de Petri reprsent gure 3. e e (b) Dterminer un ensemble minimal de P-semi ots lmentaires. e ee (c) En dduire les invariants de marquage. e (d) Interprter des dirents invariants de marquage obtenus. e e

2. Etude des performances temporelles (a) A partir des rsultats des questions 1a et 1b, dterminer lensemble des ingalits e e e e satisfaites par les frquences de franchissement des direntes transitions. e e e e e (b) En dduire la frquence maximale dutilisation de la machine 2 (frquence de franchissements F5 de la transition T5 ). Quelle doit tre la valeur minimale de e N2 pour quelle se produise ? Que vaut alors la frquence de franchissements F3 e de la transition T3 pour cette valeur de N2 ? Faire lapplication numrique avec e d1 = 1, d2 = 1, d3 = 2 et d4 = 3. (c) On suppose maintenant que N1 = 4 et N2 = 5. On fonctionne toujours avec une frquence de franchissement F5 maximale. Reprsenter dans un plan avec e e la frquence de franchissements F1 en abscisse et la frquence de franchissement e e F3 en ordonne, lensemble des frquences F1 et F3 quil est possible dobtenir. e e En dduire la frquence maximale dutilisation de la machine 1. e e

UNIVERSITE DE CAEN U.F.R. de SCIENCES

2d SESSION 2006 Septembre 2006

Master EEA 1A, option AEII et option ESCI Examen: Rseaux de Petri e AE406T2 dure: 1h30 e

Responsable : G. Scorletti Chaque candidat doit, au dbut de lpreuve, porter son nom dans le coin de e e la copie quil cachera par collage apr`s avoir t point. Il devra en outre e e e e porter son numro de place sur chacune des copies, intercalaires, ou pi`ces e e annexes. Aucun document autoris. Les tlphones portables (mme e e ee e teints) calculatrices et ordinateurs de poche ne sont pas autoriss. La note e e nale prendra en compte la qualit de la rdaction et des justications des e e rponses. e

Tous les exercices sont indpendant e

Questions de cours
1. Donner la dnition dune transition impure. e 2. Donner un exemple de smaphore. e 3. Quelles sont les direntes approches de modlisation structure ? Les dcrire bri`vement. e e e e e 4. Enoncer lquation fondamentale. e

Modlisation de squences doprations par RdP e e e

1. On consid`re 3 machines M1 , M2 et M3 . A chaque instant, chaque machine attend e ou eectue une opration. le droulement des direntes oprations est dni par les e e e e e r`gles suivantes : e Les machines M1 , M2 et M3 peuvent fonctionner simultanment. e Nanmoins, une opration sur la machine M2 ou une opration sur la machine e e e M3 ne peut dmarrer quapr`s la n dune opration sur la machine M1 . e e e Le nombre doprations eectues sur la machine M1 doit toujours tre suprieur e e e e ou gal ` la somme du nombre doprations eectues sur la machine M2 et du e a e e nombre doprations eectues sur la machine M3 . e e Au dpart, la machine M1 eectue une opration alors que les machines M2 et M3 e e sont en attente. Reprsenter le fonctionnement de ces 3 machines par un Rseau de Petri ordinaire. e e e e e e 2. A lensemble des r`gles prcdentes, on rajoute la r`gle suivante : Une opration sur la machine M1 ne peut dmarrer que si une opration sur la e e e machine M2 ou une opration sur la machine M3 a t eectue. e ee e Modier le Rseau de Petri prcdent de faon ` prendre en compte cette r`gle e e e c a e supplmentaire. e

Coloriage dun Rseau de Petri e

Une machine ` remplir et ` boucher des bouteilles (Figure 1) est compose de trois postes a a e travaillent en parall`le. e Le poste 1 sert au transfert et au chargement. Dans on premier temps, un sort le vrin de transfert B pour ` dcaler le convoyeur dune position vers la droite. Ensuite, e a e le vrin A sert au chargement dune nouvelle bouteille vide sur le convoyeur. e Le poste 2 sert au remplissage des bouteilles ` laide de la vanne D. a Le poste 3 est le poste de bouchage. Les actions de chargement dune bouteille, remplissage dune bouteille et bouchage dune bouteille sont eectues en parall`le. Le transfert par le vrin B nest eectu que lorsque e e e e ces trois oprations sont termines. e e Il a t vu en cours que ce syst`me peut tre reprsent par le Rseau de Petri Figure 2. ee e e e e e 1. Pour chaque place, indiquer ce que reprsente la variable dtat associe. Indiquer e e e lvnement associ ` chaque transition. e e ea e e e e 2. Modliser ce syst`me par un Rseau de Petri color. 3. Dans la machine considr, 3 oprations seectuent en parall`le. Modier le Rseau ee e e e de Petri color de la question prcdente de faon ` reprsenter une machine qui e e e c a e eectuerait n 2 oprations en parall`le, avec n un entier naturel. e e 2

Figure 1: Paralllisme e

P1 T1 P2 T2 P5 P3 T3 P6 P4 T4 P7

T5
Figure 2: RdP machine ` remplir et ` boucher a a

Etude des proprits dun Rseau de Petri e e e

1. Etude du rseau de Petri par Rduction e e Rappel : il faut justier lapplication des r`gles de rduction en montrant que les e e conditions dapplication sont satisfaites. (a) Construire un rseau de Petri rduit du rseau de Petri Figure 2 en utilisant les e e e rductions Ra et Rb. e (b) A partir de ce rseau de Petri rduit, dterminer les invariants de marquage. En e e e dduire si le rseau de Petri est born et conservatif. e e e (c) Interprter les invariants de marquage dtermins dans la question prcdente. e e e e e (d) Construire un rseau de Petri rduit en utilisant les rductions R1, R2, R3 et e e e R4. (e) A partir de ce rseau de Petri rduit, dterminer si le rseau est vivant. Y a-t-il e e e e des squences rptitives ? Si oui lesquelles ? e e e 2. Etude du rseau de Petri par Alg`bre Linaire e e e (a) Dterminer la matrice dincidence associe au rseau de Petri. e e e (b) A partir de la matrice dincidence, rechercher les squences rptitives statione e e naires. (c) A partir de la matrice dincidence, dterminer les P-semi ots. e

On consid`re le Rseau de Petri reprsent Figure 2. e e e e

UNIVERSITE DE CAEN U.F.R. de SCIENCES

e 1`re SESSION 2006-2007 Juin 2007

Master EEA 1A, Pro AEII et Recherche ESCI Examen: Rseaux de Petri e AE406T2 dure: 1h30 e

Responsable : E. Magarotto Chaque candidat doit, au dbut de lpreuve, porter son nom dans e e le coin de la copie quil cachera par collage apr`s avoir t point. Il e e e e devra en outre porter son numro de place sur chacune des copies, e intercalaires, ou pi`ces annexes. Document autoris : une feuille e e e A4. Les tlphones portables (mme teints) calculatrices et ordiee e e nateurs de poche ne sont pas autoriss. La note nale prendra en e compte la qualit de la rdaction et des justications des rponses. e e e

Tous les exercices sont indpendants e

Questions de cours
e 1. Donner les dnitions dune transition identique et dune transition impure. Quelles sont les proprits qui sont conserves ? ee e 2. Quelle est la condition de franchissement dune transition pour un RDP gnralis ? e e e pour un RDP color ? e ee e 3. Quel est lintrt principal du graphe de couverture ? Permet-il den dduire la bornitude et la vivacit ? e

Modlisation dun syst`me de communication pipeline e e par rseaux de Petri e

1. Un syst`me de communication asynchrone envoie des paquets de bits selon la teche nique du pipeline ` 3 niveaux. Ce syst`me est constitu de 3 programmes informaa e e tiques 1, 2 et 3 qui fonctionnent de la mani`re suivante : e Lxecution dun programme permet de traiter un et un seul paquet de donnes. e e Le paquet de donnes obtenu ` lissue de lxecution du programme 1 est envoy e a e e dans une mmoire (appele buer ). e e Cette mmoire est en entre du programme 2 qui fera un second traitement du e e paquet de donnes. Une fois le traitement termin, le paquet est envoy dans e e e une deuxi`me mmoire. e e Cette deuxi`me mmoire est en entre du programme 3 qui fera un troisi`me e e e e traitement du paquet de donnes. Une fois le traitement termin, le paquet est e e envoy dnitivement sur la ligne de transmission qui ne sera pas modlise. e e e e En utilisant lapproche par composition, reprsenter le fonctionnement du syst`me e e de communication par un rseau de Petri ordinaire. On prendra soin de prciser la e e signication des places et transitions. 2. Le programme 2 est modi de faon ` pouvoir traiter simultanment 2 paquets. e c a e Comment obtenir un nouveau RDP ordinaire qui prend en compte cette modication sans ajouter ni sommet (place ou transition), ni arcs ? 3. Dans lensemble du syst`me prcdent, il ne peut y avoir que 4 paquets au maximum. e e e Modier le RDP prcdent pour prendre en compte cette modication. e e e e e 4. Reprsenter le fonctionnement de ce dernier RDP par un rseau de Petri color dont on prcisera la signication des couleurs et des fonctions associes. e e

Etude des performances dun centre de location de pdalos et bateaux e

Un centre de location est dirig par 2 grants. Ce centre contient un parc de 10 pdalos et e e e de 5 bateaux. Pour les pdalos, chaque client paie pour une utilisation dune heure de naviguation e sur le lac (60 mn, d2). Lorsquune location est demande, un grant doit procder e e e ` linstallation des clients dans le pdalo. Cette premi`re opration lui prend 3 mn a e e e (d1). Au retour des clients, le grant doit eectuer la sortie des clients, encaisser la e somme correspondant ` la location et remettre le pdalo en place pour une utilisation a e future. Cette derni`re opration lui prend 5 mn (d3). e e Pour les bateaux, chaque client paie pour une utilisation dune heure de naviguation sur le lac (60 mn, d6). Lorsquune location est demande, un grant doit procder ` e e e a linstallation des clients dans le bateau et lui expliquer les commandes et les r`gles e de naviguation. Cette premi`re opration lui prend 8 mn (d5). Au retour des clients, e e 2

le grant doit eectuer la sortie des clients, encaisser la somme correspondant ` la e a location, faire le plein en carburant et remettre le bateau en place pour une utilisation future. Cette derni`re opration lui prend 8 mn (d7). e e Le fonctionnement de la location est modlis par le rseau de Petri reprsent gure 1. e e e e e Le nombre de marques dans la place P4 (respectivement P8 ) reprsente le nombre de e pdalos disponibles (resp. de bateaux). e Une marque dans la place P1 (resp. P5 ) indique que lon proc`de ` linstallation des e a clients dans le pdalo (resp. le bateau). e Une marque dans la place P2 (resp. P6 ) indique que le pdalo (resp. le bateau) est e en cours de naviguation. Une marque dans la place P3 (resp. P7 ) indique que lon proc`de ` la remise de pdalo e a e (resp. de bateau). Le nombre de marques dans la place P9 reprsente le nombre de grants disponibles. e e Le marquage initial est dni gure 1 avec n = 10 et m = 5. e

Figure 1: location de pdalos et bateaux e e e e 1. Etude du rseau de Petri par Alg`bre Linaire (a) Dterminer la matrice dincidence arri`re et la matrice dincidence du rseau de e e e Petri reprsent gure 1. e e e ee (b) Dterminer un ensemble minimal de P-semi ots lmentaires. (c) En dduire les invariants de marquage. Interprter les dirents invariants de e e e marquage obtenus. 3

2. Etude des performances temporelles (a) A partir des rsultats des questions 1a et 1b, dterminer lensemble des ingalits e e e e satisfaites par les frquences de franchissement des direntes transitions. e e e e e (b) En dduire la frquence maximale dutilisation dun bateau (frquence de franchissements F5 de la transition T5 ) et la frquence maximale dutilisation dun e pdalo (frquence de franchissements F1 de la transition T1 ). e e (c) Reprsenter dans un plan avec la frquence de franchissements F1 en abscisse et e e la frquence de franchissement F5 en ordonne, lensemble des frquences F1 et e e e F5 quil est possible dobtenir (la zone correspondante sera hachure). e e (d) On suppose maintenant que lon fonctionne toujours avec une frquence de franchissement F5 maximale. Dans ce cas, donner la frquence maximale dutilisation e dun pdalo. Quel est le nombre minimum (arrondir ` lentier le plus proche) de e a pdalos ncessaires pour le fonctionnement ` F5 max ? e e a