Règle N° 1 : Situation initiale
La situation initiale correspond au comportement initial de l’automatisme. Autrement dit, à l’étape ou (aux étapes) active(s) au début du fonctionnement. Dans le cas général, elle traduit le fonctionnement au repos du système
Règle N° 2 : Franchissement d’une transition
Une transition est validée lorsque toutes les étapes précédentes associées sont actives. Le franchissement d’une transition se produit lorsque la transition qui lui associée est validée et que la réceptivité est vraie.
- (A) : L’étape initiale X0 est active par défaut & le bouton poussoir BP1=0 (réceptivité vraie), alors la transition t1 est non validée
- (B) : L’étape initiale X0 est active par défaut & le bouton poussoir BP1=1 (réceptivité vraie), alors la transition t1 est franchissable (voir le tutoriel pour plus de détails).