Vous êtes sur la page 1sur 3

M1 Info

(TD du cours RdP ENSEEIHT)

Travaux Dirigs n1
Ingnierie des protocoles
Rseaux de Petri
Question 1. Modlisation dun atelier de fabrication
Question 1.1. Modlisation dune machine de fabrication simple
Considrons une machine de fabrication simple rpondant au cahier des charges
suivant :
1. La machine attend des ordres de travail
2. Les ordres de travail peuvent arriver pendant que la machine excute un ordre
prcdent (arrive asynchrone). Dans ce cas les ordres de travail sont stocks
jusqu excution
3. Lorsque la machine est libre, et quil y a un ordre en attente dexcution , alors
elle lexcute, sinon elle attend larrive dun ordre
4. Lexcution dun ordre de travail consiste en
Dune part une phase dexcution
Dautre part une action denvoi du produit fabriqu
Ces deux phases peuvent tre faites en mme temps (pour deux ordres de
travail diffrents)
5. La machine ne peut excuter quun seul ordre la fois.
On demande de modliser le fonctionnement dune telle machine laide dun RdP.
Question 1.2. Modlisation dun atelier de fabrication
On considre maintenant un atelier de fabrication compos de trois machines M1, M2
et M3 rpondant chacune au cahier des charges ci-dessus. Cet atelier est gr par deux
oprateurs F1 et F2 tels que F1 est habilit faire fonctionner les machines M1 et M2,
tandis que F2 est habilit faire fonctionner M1 et M3.
Les ordres de fabrication arrivant dans latelier ncessitent deux tapes de fabrication.
1. Dune part une tape par la machine M1
2. Dautre part une tape par lune quelconque des deux machines M2 ou M3
Ces tapes de fabrication peuvent tre gres par lun quelconque des deux
oprateurs. Il nest pas ncessaire que les deux tapes de fabrication soient gres par
le mme oprateur.
Comme prcdemment, une machine ne peut rpondre qu un seul ordre la fois. De
mme, un oprateur ne peut faire fonctionner quune seule machine la fois.
On demande de modliser lensemble du systme par un rseau de Petri global.

Question 2. Protocole Producteur Consommateur


On considre deux tches producteur et consommateur , la premire produisant
des donnes pour la seconde. Ces deux tches correspondent des processus
indpendants qui sont activs indpendamment. Elles communiquent via un mdium
du type buffer . On supposera que ce mdium est fiable, cest--dire quil ne perd
aucun message (ce point sera tudi la question 3).
Le producteur suit schmatiquement le scnario suivant :

Page 1 sur 3

2008-2009

M1 Info
1.
2.
3.
4.

(TD du cours RdP ENSEEIHT)

Activation par un oprateur externe


Phase dinitialisation
Emission de N donnes dans le mdium destination du consommateur
Fin des missions.

On notera que le rythme de production du producteur ne doit pas conduire un


dbordement du mdium. En particulier, si le mdium est plein, le producteur devra
attendre que celui-ci se libre avant de produire une nouvelle donne.
De son cot, le consommateur suit schmatiquement le scnario suivant :
1. Activation par un oprateur externe
2. Phase dinitialisation
3. Consommation des donnes envoyes par le producteur dans le mdium
4. Dconnexion lorsque toutes les donnes ont t consommes.
On notera en particulier qu aucun moment le producteur na inform le
consommateur du nombre N de donnes produire.
Question 2.1. Mdium = buffer une case
On demande de modliser ces deux tches producteurs et consommateur en RdP dans
le cas particulier dun mdium constitu dun buffer une seule case.
Question 2.2. Mdium = buffer K case
On demande de modliser ces deux tches producteurs et consommateur en RdP dans
le cas particulier dun mdium constitu dun buffer K cases.

Question 3. Un service dtablissement de connexion


Le systme de producteur consommateur ci-dessus sappuie sur un service de connexion et
dchange de donnes comme indiqu par la figure 1.
Niveau N+1

producteur

consommateur
Service (N+1)

Niveau N

Niveau N-1

(N)E

Protocole (N)

(N)E

Service N-1

figure 1. Modles en couches


On demande de modliser le protocole de niveau N (Protocole (N)) entre les deux (N)Entits
des sites du producteur et du consommateur dans les cas suivants ;
Question 3.1.
Hypothse : service N-1 parfait (pas de perte de (N)PDU)
Hypothse : demande de connexion par le (N)E du site du producteur.

Page 2 sur 3

2008-2009

M1 Info

(TD du cours RdP ENSEEIHT)

Sous ces hypothses, le protocole que lon demande de modliser consiste en lenvoi dun
(N)PDU : Connection Request (CR) et dun (N)PDU Deconnection Request (DR). Lentit
appelante se considre connecte ds quelle a envoy CR ; lentit appele est connecte ds
quelle a reue CR. De mme, lentit appelante se considre dconnecte ds quelle a envoy
DR ; lentit appele est connecte ds quelle a reue DR.
Question 3.2.
Hypothse : service N-1 parfait (pas de perte de (N)PDU)
Hypothse : demande de connexion possible par les deux (N)E.
Dans ce cas, les deux N(E) peuvent tre initiateurs de la demande de connexion. Comme
prcdemment, le protocole que lon demande de modliser consiste en lenvoi dun (N)PDU :
Connection Request (CR) et dun (N)PDU Deconnection Request (DR).
Dans un premier temps on gnralisera simplement le protocole propos la question 3.1.
Cette gnralisation est-elle satisfaisante ?
Dans un deuxime temps, on mettra en uvre un schma dchange du type poigne de
main : lentit initiateur attend une rponse avant de se considrer comme connecte ; lentit
appele se considre comme connecte ds quelle a envoy une rponse. Par contre, en ce qui
concerne la phase de dconnexion, le protocole reste identique celui de la question 3.1. :
lentit appelante se considre dconnecte ds quelle a envoy DR ; lentit appele est
connecte ds quelle a reue DR.

Page 3 sur 3

2008-2009