CNAM Cycle B

Rseaux de Petri Exercices (3)

Exercice 1 (1
re
session 1997)
Un systme est compos dun PC de supervision, dun automate et dun robot relis par
rseau.
PC de super vi si on
R
s eau
Aut omat e
Robot
Rs eau
Le PC de supervision possde un algorithme qui permet de dterminer les N prochaines
actions du robot (N est fixe). Lautomate reoit, via le rseau, les N prochaines actions du
robot et les envoie une par une au robot, qui les excute.
Lorsque le robot ne peut pas excuter une action (panne) il prvient lautomate, qui
prvient le PC de supervision, qui dcide alors darrter le systme. Lorsque le robot a termi-
n correctement une action, il prvient lautomate qui lui envoie la prochaine action.
Lorsque lautomate envoie la dernire action au robot, il prvient le PC de supervision et
lui demande les N prochaines actions. Lautomate et le PC de supervision contrlent que les
changes dinformation par le rseau se sont bien drouls.
ltat initial, le systme est au repos. Pour arrter le systme, un message darrt est
mis par le PC de supervision en remplacement des N prochaines actions. Lorsque lautomate
reoit ce message, il met le robot au repos ds que ses dernires actions sont excutes.
Dterminer laide de rseaux de Petri communiquants le fonctionnement du systme
(un RdP par entit du systme : Robot, Automate, PC de supervision).
Exercice 2 (1
re
session 1997)
Soit le RdP suivant.
P1
P2
P4
P3 P5
t 1 t2 t3
1) Dterminer la matrice dincidence U.
2) Considrer le marquage initial M
0
(1, 0, 1, 1, 0) et la squence = <t2, t1, t3, t3>. Dter-
miner le marquage obtenu aprs le tirage de la squence en utilisant lquation dtat
V U M M
t t t

+
0
o
V
t

est le vecteur de comptage.

3) Dterminer les t-invariants et les interprter.
Correction
Exercice 1
Robot
Robot en at t ent e
A ?
Robot pr t
D ?
Act i on
r ussi e
Ec he c
R ! E !
Aut omat e
Aut oma t e
en at t ent e
S ?
D !
Aut oma t e
act i f
F !
Fi n
A !
E ?
R ? E2 !
Supervi si on
PC en at t ent e
Dt er mi nat i on
des N act i ons
Super vi s i on
F ?
S !
Fi n E2 ?
Exercice 2
1)

,
_

+
+
+
+
+

1 0 0
1 1 0
1 0 1
0 1 1
0 1 1
U
2) V

= (1, 1, 2)

,
_

,
_

+
+
+
+
+
+

,
_

2
1
1
.
1 0 0
1 1 0
1 0 1
0 1 1
0 1 1
0
1
1
0
1
M
t
=

,
_

,
_

2
1
1
0
0
0
1
1
0
1
=

,
_

2
0
2
0
1
3) U.W
t
= 0

'

'

+
+

,
_

,
_

+
+
+
+
+
0 3
3 2
3 1
2 1
0 3
0 3 2
0 3 1
0 2 1
0 2 1
0
3
2
1
.
1 0 0
1 1 0
1 0 1
0 1 1
0 1 1
w
w w
w w
w w
w
w w
w w
w w
w w
w
w
w
pas de t-invariant