372
17 • Systèmes à événements discrets, le modèle GRAFCET
3
2
1
4
5
6
7
marche/arrêt
T
T
T
T
T
T
T
T
1
2
4
5
6
7
8
3
Figure 17.11 Illustration des règles de franchissement des étapes
3 et 4 puissent s’activer en même temps, il faudrait que les deux réceptivités T 2 et T 3 soit vraies avant que
l’étape 2 ne s’active.
Une convergence en OU est placée immédiatement après les étapes 3 et 4. Puisque l’étape 4 a été validée,
il faudra attendre que la transition T 5 soit validée pour atteindre la convergence en ET. Dès que la réceptivité
T 6 sera vraie, l’étape 6 deviendra active et les étapes 4 et 5 seront désactivées (figure 17.14).
Lorsque la réceptivité T 7 devient vraie, le GRAFCET évolue selon une divergence en ET : les étapes
1 et 7 s’activent et comme nous avons supposé que la transition T 1 restait vraie en permanence, l’étape 2
s’active immédiatement.
2
1
marche/arrêt
Figure 17.12 Déplacement du jeton
17 • Systèmes à événements discrets, le modèle GRAFCET
3
2
1
4
5
6
7
marche/arrêt
T
T
T
T
T
T
T
T
1
2
4
5
6
7
8
3
Figure 17.11 Illustration des règles de franchissement des étapes
3 et 4 puissent s’activer en même temps, il faudrait que les deux réceptivités T 2 et T 3 soit vraies avant que
l’étape 2 ne s’active.
Une convergence en OU est placée immédiatement après les étapes 3 et 4. Puisque l’étape 4 a été validée,
il faudra attendre que la transition T 5 soit validée pour atteindre la convergence en ET. Dès que la réceptivité
T 6 sera vraie, l’étape 6 deviendra active et les étapes 4 et 5 seront désactivées (figure 17.14).
Lorsque la réceptivité T 7 devient vraie, le GRAFCET évolue selon une divergence en ET : les étapes
1 et 7 s’activent et comme nous avons supposé que la transition T 1 restait vraie en permanence, l’étape 2
s’active immédiatement.
2
1
marche/arrêt
Figure 17.12 Déplacement du jeton