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.
