CNAM Cycle B

Rseaux de Petri Examen blanc

Documents autoriss : tous
Dure : 1h30
Exercice 1 (5 points)
Soit le systme de production dcrit par la figure ci-dessous. En entre, les produits sont
mis en palette. Cette opration prend un temps t
p
. Ils subissent ensuite une transformation sur
une machine M pendant un temps t
n
. Les produits sont ensuite enlevs des palettes. Cette op-
ration prend un temps t
d
. La machine M est susceptible de tomber en panne. Dans ce cas, les
produits sont redirigs sur une machine de secours M, dont le temps de cycle est t
s
. La rpa-
ration de la machine M prend un temps t
r
. Le nombre de palettes circulant dans le systme
tout moment est N.
Mi s e en pal et t e
Tr ai t ement s ur
ma c hi ne M
Tr ai t ement s ur
ma c hi ne M'
D c ha r ge me nt
pal et t e
Si panne de
l a ma c hi ne M
Ret our des pal et t es
vi des
Modliser ce systme de production laide dun RdP temporis.
Exercice 2 (5 points)
Soit le RdP ci-dessous, reprsentant deux chanes de production en parallle, utilisant les
mmes machines. Les transitions t
01
et t
02
reprsentent la mise en palette des produits. Les
transitions t
11
et t
12
reprsentent une premire transformation sur la machine M1. Les transi-
tions t
21
et t
22
reprsentent une seconde transformation sur la machine M2. Les transitions t
31
et t
32
reprsentent le dchargement des produits finis.
t
01
P
11
t
11
t
21
t
31
P
01
P
21
P
31
M1 M2
t
02
P
12
t
12
t
22
t
32
P
22
P
32
P
02
1) Calculer la matrice dincidence U.
2) Dterminer les p-invariants minimaux. Interprter.
3) Dterminer les t-invariants minimaux. Interprter.
Exercice 3 (5 points)
Le RdP de la figure ci-dessous est le modle dun systme dont la production est gre
par la mthode KANBAN. Les jetons situs dans la place P1 reprsentent les KANBAN li-
bres. Sil y a des produits bruts lentre du systme, la transition t1 est franchie. Un jeton
apparat alors dans la place P2, ce qui implique quun KANBAN libre est attach ce produit
brut et que sa fabrication peut commencer. Aprs la fabrication de ce produit, reprsente par
le franchissement de la transition t2, un jeton apparat dans la place P3. La transition t3 est
alors franchie : le produit sort du systme et que le KANBAN qui lui est attach est restitu.
Un contrle de qualit est effectu lentre du systme. Si la qualit dun produit brut
nest pas satisfaisante, la transition t4 est franchie (rejet du produit).
t 1 P2
P1
t 2 P3 t 3
t4
1) Dterminer lensemble des p-invariants et des t-invariants minimaux.
2) Vrifier les proprits structurelles du RdP.
3) Mettre en vidence lerreur de modlisation de ce systme.
4) Proposer un modle corrigeant cette erreur.
Correction
Exercice 1
t
p
t
s
t
n
0
t
r
t
d
0
N
ETAT DE
P ANNE
Pa nne
0
Exercice 2
1)

,
_

1 1 0 0 0 0 0 0
0 1 1 0 0 0 0 0
0 0 1 1 0 0 0 0
1 0 0 1 0 0 0 0
0 0 0 0 1 1 0 0
0 0 0 0 0 1 1 0
0 0 0 0 0 0 1 1
0 0 0 0 1 0 0 1
U
2)
( )
( ) 1 1 1 1 0 0 0 0 2
0 0 0 0 1 1 1 1 1
8 7 6 5
4 3 2 1
0 8 5
0 8 7
0 7 6
0 6 5
0 4 1
0 4 3
0 3 2
2 1
0

'

'

+
+
+

+
+
+

X
X
x x x x
x x x x
x x
x x
x x
x x
x x
x x
x x
x x
XU
X1 et X2 reprsentent les deux lignes de production en parallle.
3)
( )
( ) 1 1 1 1 0 0 0 0 2
0 0 0 0 1 1 1 1 1
8 7 6 5
4 3 2 1
0 8 7
0 7 6
0 6 5
0 8 5
0 4 3
0 3 2
0 2 1
0 4 1
0

'

'

+



+

Y
Y
y y y y
y y y y
y y
y y
y y
y y
y y
y y
y y
y y
UY
Le marquage initial est retrouv lorsquune des deux lignes complte seule son cycle.
Exercice 3
1)

'

0 1 1 0
1 0 1 1
0 1 0 1
U

'

+
+
0 3 2 1
0 2
0 3 1
0 3 2
2 1
0 x x x
x
x x
x x
x x
XU pas de p-invariant
( )

'

'

+
0 1 1 1
0 4
3 2 1
0 3 2
0 4 2 1
0 3 1
0 Y
y
y y y
y y
y y y
y y
UY
2)
Pas de p-invariant RdP non consistant, non conservatif.
X = (1 1 1) / XU = (0 0 0 1) 0 RdP structurellement born, non rptitif.
Un RdP vivant est rptitif RdP non vivant.
3) Le KANBAN attach un produit de mauvaise qualit nest pas restitu lors du franchis-
sement de la transition t4.
4) Il suffit dintroduire un arc reliant t4 P1, ce qui permet de restituer le KANBAN attach
un produit de mauvaise qualit.
t 1 P2
P1
t 2 P3 t 3
t4