CNAM Cycle B

Rseaux de Petri Exercices (3)

Exercice 1 (1re session 1997)

Un systme est compos dun PC de supervision, dun automate et dun robot relis par
rseau.

Automate
R s ea u
Rseau
PC de supervision Robot

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 (1re session 1997)
Soit le RdP suivant.

P1 P4

t1 t2 t3

P2
P3 P5

1) Dterminer la matrice dincidence U.

2) Considrer le marquage initial M0 (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
M = M 0 + U V o V est le vecteur de comptage.
t t t t

3) Dterminer les t-invariants et les interprter.

 Correction

Exercice 1

Robot Automate

Automate
Robot en attente
en attente
D ? S?
D!

Automate
Robot prt
actif
A ? Fin

A! F!

E?
Action
Echec
russie
R ? E2 !
E! R!

Supervision

PC en attente

Dtermination
des N actions

Supervision

F?
S!

E2 ? Fin
Exercice 2

+1 1 0

1 +1 0
1) U = 1 0 + 1

0 + 1 1
0 0 + 1

2) V = (1, 1, 2)

1 +1 1 0 1 0 1

0 1 + 1 0 1 0 0 0

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

3) U.Wt = 0

+1 1 0 w1 w2 = 0 w1 = w2

1 + 1 0 w1 w1 + w2 = 0
1 0 + 1. w2 = 0 w1 + w3 = 0 w1 = w3 pas de t-invariant


0 + 1 1 w3 w2 w3 = 0 w2 = w3
0
0 + 1
w 3 = 0 w3 = 0