Université Libre de Tunis
Grafcet - Partie II
GRAFCET : Équation logique d’une
étape
Année Universitaire 2020/2021
Règles d’évolutions
• Règle 1 : situation initiale
étapes actives au début du
les
L’initialisation précise
fonctionnement. Elles sont activées inconditionnellement et
repérées sur le GRAFCET en doublant les côtés des symboles
correspondants.
• Règle 2 : franchissement d’une transition
Une transition est soit validée, soit non validée. Elle est validée
lorsque toutes les étapes immédiatement précédentes sont
actives.
Elle ne peut être franchie que :
— lorsqu’elle est validée et lorsque la réceptivité associée à la
transition est vraie.
La transition est alors obligatoirement franchie.
M.A.SLIM
2
Règles d’évolutions
• Règle 3 : évolution des étapes actives
Le franchissement d’une transition entraîne simultanément
l’activation de toutes les étapes immédiatement suivantes et la
immédiatement
désactivation
Publicité
précédentes.
étapes
toutes
les
de
• Règle 4 : évolutions simultanées
transitions
Plusieurs
simultanément franchies.
simultanément
franchissables
sont
• Règle 5 : activation et désactivation simultanées
Si, au cours du fonctionnement, une même étape doit être
désactivée et activée simultanément, elle reste activée.
M.A.SLIM
3
Equation logique d’une étape
• Les équations logiques doivent impérativement respecter
les règles d’évolutions.
• Pour décrire l’activité d’une étape, nous utilisons la
notation proposée par la norme NF C03-190 :
- Xi = 1 signifie que l’étape i est active ;
- Xi = 0 signifie que l’étape i est inactive.
M.A.SLIM
4
Equation logique d’une étape
Déterminons quelles sont
interviennent dans l’activité de l’étape i
Xi=f(?)
Publicité
les variables qui
le franchissement d’une transition
Règle 3:
étapes
la
désactivation
entraîne
immédiatement précédentes et l’activation des
étapes immédiatement suivantes.
des
Règle 2: une transition est franchissable si :
• elle
immédiatement précédentes sont actives) ;
• la réceptivité associée à la transition est vraie.
validée
(toutes
est
les
étapes
M.A.SLIM
5
Equation logique d’une étape
• La traduction de la règle 2 donne la condition
d’activation de l’étape i (CAXi ) :
CAXi = Xi – 1 . ti – 1
• La traduction de la règle 3 donne la condition
de désactivation de l’étape i (CDXi ) :
CDXi = Xi + 1
M.A.SLIM
Publicité
6
Equation logique d’une étape
• Si la condition d’activation et la condition de
désactivation de l’étape i sont fausses, alors
l’étape i reste dans son état (effet mémoire de la
logique séquentielle) ; cela signifie que l’état de
Xi dépend aussi de Xi. Donc :
Xi =f(Xi , CAXi , CDXi)
• Cherchons la fonction logique f
Cours SED : Grafcet
7
Equation logique d’une étape
Cours SED : Grafcet
8
Equation logique d’une étape
Xi = CAXi + Xi ⋅CDXi
Cours SED : Grafcet
9
Exemples
Xi = CAXi + Xi ⋅CDXi:
X10= X9.a+X10.X21+X31
X21=X10.b+X21.X22
X31 =X10.c+X31.X32
M.A.SLIM
10
M.A.SLIM
11
M.A.SLIM
12
Publicité
disfonctionnement
Solution
La solution est d’insérer une troisième étape,
Cette troisième étape évite d’avoir l’activité d’une
la
étape qui
condition d’activation et dans la condition de
désactivation d’une autre étape.
simultanément dans
intervient
M.A.SLIM
13
Exemple d’application
Lorsque l’opérateur appuie sur
m le chariot fait un aller retour.
M.A.SLIM
14
Exemple d’application
X0 = X2 ⋅ g + X0 ⋅X1
X1 = X0 ⋅ m + X1 ⋅X2
X2 = X1 ⋅ d + X2 ⋅X0
D = X1
G = X2
M.A.SLIM
15