UTC501 5 petri

Réseaux de Petri
Bernard Couapel

2
Réseaux de Petri
Principe de fonctionnement
Vecteur de marquage M
Exemple d'un réseau de Petri Place-Transition, composé de:
- quatre places, les cercles
- une transition, le trait noir
- quatre arcs, les flèches
- quatre jetons, les points noirs qui circulent

3
Réseaux de Petri
Exclusion mutuelle

4
Res
d1 d2
f2f1
Idle1 Idle2
Busy2Busy1
Idle1
Busy1
Idle2
Busy2
Res
P
T= (d1, f1, d2, f2)
1
0
1
0
1
Réseaux de Petri: exclusion mutuelle
0 1 0 0
1 0 0 0
0 0 0 1
0 0 1 0
0 1 0 1
V0
Idle1
Busy1
Idle2
Busy2
Res
V1 V2V0V0 V3
0
1
1
0
0
1
0
1
0
1
1
0
0
1
0
V4
Busy1 Busy2
1
0
1
0
1
d1 f1 d2 f2
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
1 0 1 0
T= (d1, f1, d2, f2)
Post
Matrice pre incidence Post - Pre
-1 1 0 0
1 -1 0 0
0 0 -1 1
0 0 1 -1
-1 1 -1 1
T= (d1, f1, d2, f2)
Vecteur de marquage
Transition déclenchée

5