Règles d'évolution du GRAFCET

Un grafcet possède un comportement dynamique dirigé par cinq règles, elles précisent les causes et les

effets du franchissement des transitions.

Règle N°1 : Situation initiale

La situation initiale d'un grafcet caractérise le comportement initial de la partie commande vis-à-vis de la

partie opérative, de l'opérateur et/ou des éléments extérieurs. Elle correspond aux étapes actives au début

du fonctionnement : ces étapes sont les étapes initiales.

Règle 2 : Franchissement d'une transition

Une transition est dite validée lorsque toutes les étapes amont (immédiatement précédentes reliées à cette

transition) sont actives.

Le FRANCHISSEMENT d'une transition se produit :

lorsque la transition est validée.

ET que la réceptivité associée à cette transition est vraie

L'exemple suivant montre une transition non validée car l'étape 4 n'est pas active.

L'exemple suivant montre une transition validée mais non-franchisssable avant t1, elle devient

franchissable à t1 car E2 devient vraie.

Règle 3 : Evolution 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 : Evolution simultanée

Plusieurs transitions simultanément franchissables sont simultanément franchies.
Règle 5 : Activation et désactivation simultanée d'une étape
Si au cours du fonctionnement la même étape est simultanément activée et désactivée elle reste active.

On évite ainsi des commandes transitoires (néfastes au procédé) non désirées.

Il est important de noter que  la durée d'un franchissement de transition est de durée très petite

(aussi petite que l'on veut) mais non nulle. Ainsi si deux transitions successives (séparée par une

étape) ont pour réceptivité le même front d'une variable, alors il faudra deux fronts de cette variable

pour franchir les deux transitions. Ce temps est en relation directe avec la durée d'un front.

Le GRAFCET fait l'hypothèse d'un monde asynchrone : deux événements non corrélés ne peuvent

survenir simultanément. Soit formellement, l'expression logique Ei et Ej est toujours évaluée à faux.