6.3 • GRAFCET et description structurée
235
• La désactivation d’une étape encapsulante entraîne la désactivation de toutes les
étapes de toutes ses encapsulations.
• À l’instant initial, seules toutes les étapes faisant partie de la situation initiale d’un
grafcet global sont actives. La situation initiale inclut toutes les étapes initiales et
toutes les étapes encapsulantes initiales.
• Dès leur activation, les encapsulations respectent les règles d’évolution du
GRAFCET.
• L’encapsulation peut être combinée au forçage.
➤ Règles relatives à l’encapsulation
• Toute encapsulation doit contenir au moins un lien d’activation.
• Toute encapsulation d’une étape encapsulante initiale doit contenir au moins une
étape initiale.
• Si une encapsulation contient au moins une étape initiale, alors son étape encapsulante doit être une étape encapsulante initiale.
La connaissance de toutes ces propriétés et de toutes ces règles permet d’aborder et de
comprendre l’évolution de grafcet mettant en oeuvre l’encapsulation.
Contrairement au forçage, qui impose une situation par assignation, l’encapsulation
agit sur événement, en affectant des états aux étapes marquées de liens d’activation.
Exemple
Le grafcet de la figure 6.21 présente une structuration par encapsulation.
© Dunod. La photocopie non autorisée est un délit.
Les liens d’activation sont sans effet à
l’instant initial. Il faut considérer qu’à
l’instant initial,une étape encapsulante
initiale ne devient pas active mais elle
est active, sans avoir jamais été à l’état
inactif.
Monie r Algèbre Monier
Géométrie
Moni er Algèbre Monier
Mon ier Algèbre Géomé
Gé
ométrie Monier
Les étapes encapsulées initiales ne sont
pas nécessairement marquées d’un lien
d’activation.
Monie r Algèbre Monier
Géométrie
Moni er Algèbre Monier
Mon ier Algèbre Géomé
Gé
ométrie Monier
(1 8 )
19
(1 9 )
20
(2 0 )
21
(2 1 )
* 18
m
5s \X19
f
1
22
(2 2 )
23
(2 3 )
(2 4 )
m
3s/X22
f
G5
5
1
(1 )
2
(2 )
3
(3 )
4
(4 )
a
a
b
b
G1
* 5
(5 )
6
(6 )
7
(7 )
r
3s/X6
s
G3
3
(1 4 )
* 15
(1 5 )
16
(1 6 )
17
(1 7 )
14
s
s
s
s
G4
3
* 8
(8 )
9
(9 )
10
(1 0 )
(1 1 )
12
(1 2 )
13
(1 3 )
11
r.s
r
r
s
s
v
G2
1
Étape encapsulante initiale
Étape encapsulante
Représe nta tion
graphique
d’une e ncapsulation
Nom de l’encapsulation
Repèr e de l’é ta pe e nca ps ulante
Lien d’activation
Figure 6.21 Structuration par encapsulation.
9782100534197-Mosser-C06.qxd 14/12/09 8:07 Page 235
235
• La désactivation d’une étape encapsulante entraîne la désactivation de toutes les
étapes de toutes ses encapsulations.
• À l’instant initial, seules toutes les étapes faisant partie de la situation initiale d’un
grafcet global sont actives. La situation initiale inclut toutes les étapes initiales et
toutes les étapes encapsulantes initiales.
• Dès leur activation, les encapsulations respectent les règles d’évolution du
GRAFCET.
• L’encapsulation peut être combinée au forçage.
➤ Règles relatives à l’encapsulation
• Toute encapsulation doit contenir au moins un lien d’activation.
• Toute encapsulation d’une étape encapsulante initiale doit contenir au moins une
étape initiale.
• Si une encapsulation contient au moins une étape initiale, alors son étape encapsulante doit être une étape encapsulante initiale.
La connaissance de toutes ces propriétés et de toutes ces règles permet d’aborder et de
comprendre l’évolution de grafcet mettant en oeuvre l’encapsulation.
Contrairement au forçage, qui impose une situation par assignation, l’encapsulation
agit sur événement, en affectant des états aux étapes marquées de liens d’activation.
Exemple
Le grafcet de la figure 6.21 présente une structuration par encapsulation.
© Dunod. La photocopie non autorisée est un délit.
Les liens d’activation sont sans effet à
l’instant initial. Il faut considérer qu’à
l’instant initial,une étape encapsulante
initiale ne devient pas active mais elle
est active, sans avoir jamais été à l’état
inactif.
Monie r Algèbre Monier
Géométrie
Moni er Algèbre Monier
Mon ier Algèbre Géomé
Gé
ométrie Monier
Les étapes encapsulées initiales ne sont
pas nécessairement marquées d’un lien
d’activation.
Monie r Algèbre Monier
Géométrie
Moni er Algèbre Monier
Mon ier Algèbre Géomé
Gé
ométrie Monier
(1 8 )
19
(1 9 )
20
(2 0 )
21
(2 1 )
* 18
m
5s \X19
f
1
22
(2 2 )
23
(2 3 )
(2 4 )
m
3s/X22
f
G5
5
1
(1 )
2
(2 )
3
(3 )
4
(4 )
a
a
b
b
G1
* 5
(5 )
6
(6 )
7
(7 )
r
3s/X6
s
G3
3
(1 4 )
* 15
(1 5 )
16
(1 6 )
17
(1 7 )
14
s
s
s
s
G4
3
* 8
(8 )
9
(9 )
10
(1 0 )
(1 1 )
12
(1 2 )
13
(1 3 )
11
r.s
r
r
s
s
v
G2
1
Étape encapsulante initiale
Étape encapsulante
Représe nta tion
graphique
d’une e ncapsulation
Nom de l’encapsulation
Repèr e de l’é ta pe e nca ps ulante
Lien d’activation
Figure 6.21 Structuration par encapsulation.
9782100534197-Mosser-C06.qxd 14/12/09 8:07 Page 235