Académique Documents
Professionnel Documents
Culture Documents
BEN KACEM
Exercice 1
Soit le réseau de la figure (a) : Donner les matrices Pré, Post et C pour ce réseau
A B
3 2
x y z
3
2
C D
(a)
Exercice 2 :
On donne les matrices pré et post suivantes :
2 3 0 0 3 0 1 0
Pré =(0 0 1 2) et Post = (1 0 0 1)
0 0 2 0 0 2 0 1
Exercice 3 :
Donner l’évolution des réseaux de Pétri suivants :
TD 2 Réseau de PETRI Professeur : A. BEN KACEM
Exercice 4 :
Soit le RdP suivant :
Exercice 5 :
Soit le Rdb Suivant :
P1
T1
P2 P3
P6
T2 T3
P4 P5
T4
Exercice 6 :
P1
t1 t4
P2
t3 t2
P3 P4
æ1 æ1 - 3 0 ÷ ö
æ0 ö
3 0÷ çç 0 0ö÷ çç ÷
çç
çç2
÷
0 1÷
÷ çç0 1 1÷
÷
÷
çç- 2 1 0÷÷
÷
Pr é = çç ÷
÷ P ost = çç ÷
÷ C= çç ÷
çç1 3 0÷
÷ çç1 ÷
2 1x÷ çç 0 - 1 1 ÷÷
÷
çç ÷
÷
,
çç ÷
÷
,
çç ÷
÷
çè0 ÷
÷
0 1ø çè0 1 0÷÷
ø çè 0 ÷
1 - 1ø
Exercice 2
Exercice 3
TD 2 Réseau de PETRI Professeur : A. BEN KACEM
Exercice 4
Exercice 1
1
0
M0 = 1
1
(0 )
2) Déterminer les matrices Pré et Post.
0 1 0 1 0 0
1 0 0 0 1 0
Pre = 1 0 0 Post = 0 0 1
0 0 1 0 1 0
(0 0 0 ) (0 0 1)
1
S = (1)
2
b) Déterminer le marquage obtenu après le tirage de la séquence s en utilisant l’équation
caractéristique M’ = M0 + C.S
1 1 1 −1 0
0 0 −1 1 0 1
M’ = 2 = 1 + −1 0 1 x(1)
0 1 0 1 −1 2
2 0
( ) ( ) ( 0 0 1 )
3
1
d) Maintenant, et à partir de M0 = 2 , on veut obtenir le marquage suivant
1
(0)
4
0
M’= 1 ,
1
(1)
Donner la séquence (donc le vecteur caractéristique) qui permettra d’obtenir M’ à partir de M0.
𝑥
M’ = M0 +C. (𝑦) x = 2, y =1 et z = 1 d’où S’ = (2, 1, 1)T.
𝑧
Exercice 5
Exercice 6
) Pour M1, les transitions t1, t2 et t4 sont vivantes et t3 n'est pas quasi-vivante. En effet le
marquage simultané de p2 et p3 est impossible et le fait de ne jamais tirer t3 permet de cycler
indéfiniment sur t1, t2 et t4.
Pour M3, toutes les transitions sont quasi-vivantes. Pour étudier le caractère vivant des transitions
nous allons utiliser de façon systématique la technique d'analyse ébauchée pour M2 et présentée
dans le paragraphe suivant. On va montrer que les résultats pour M3 sont semblables à ceux de
M2.