Université Libre de Tunis
Grafcet - Partie II
GRAFCET : Équation logique d’une
étape
Année Universitaire 2022/2023
Règles d’évolutions
• Règle 1 : situation initiale
L’initialisation précise les étapes actives au début du
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
désactivation de toutes les étapes immédiatement
précédentes.
• Règle 4 : évolutions simultanées
Plusieurs transitions simultanément franchissables sont
simultanément franchies.
• 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 les variables qui
interviennent dans l’activité de l’étape i
Xi=f(?)
Règle 3: le franchissement d’une transition
entraîne la désactivation des étapes
immédiatement précédentes et l’activation des
étapes immédiatement suivantes.
Règle 2: une transition est franchissable si :
• elle est validée (toutes les étapes
immédiatement précédentes sont actives) ;
• la réceptivité associée à la transition est vraie.
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 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
disfonctionnement
M.A.SLIM 12
Solution
La solution est d’insérer une troisième étape,
Cette troisième étape évite d’avoir l’activité d’une
étape qui intervient simultanément dans la
condition d’activation et dans la condition de
désactivation d’une autre étape.
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