Le GRAFCET : GRAphe Fonctionnel de Commande Etape /Transition

Règle 1 : AU départ toutes les étapes initiales sont actives.

 Règle 2 : Le franchissement d’une transition se produit lorsque :
 . La transition est validée
 . ET que la réceptivité associée est vraie

Règle 3 : 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.

Remarque : Une action est active et un réceptivité est vraie.

Le ET se modélise par un . dans une transition et par une , dans une action. Le OU se modélise par un +