Réceptivité sur front
Front montant d'une variable logique
La notation « ↑ » indique que la réceptivité n'est vraie qu'au changement d'état de la variable « g » (front montant : passage de « g » de la valeur 0 à la valeur 1)
Front descendant d'une variable logique
La notation «↓ » indique que la réceptivité n'est vraie qu'au changement d'état de la variable « m » sur front descendant.
Le passage de l'étape 
à l'étape 
peut se faire si l'étape est active et que la variable « m » passe du niveau logique « 1 » au niveau logique « 0 ».
