Renseigner les événements et/ou conditions de garde associés aux transitions
Double-cliquer sur la transition, la fenêtre suivante apparaît :

Syntaxe
Chaque événement ou condition de garde doit être encadrée par le tiret de la touche 8 du clavier : _ (sauf si l'événement ou la condition de garde est associée à une variable numérique comme un compteur c)
L'événement sur front montant (instant où la variable passe de 0 à 1) s'écrit : re(...)
L'événement sur front descendant (instant où la variable passe de 1 à 0) s'écrit : fe(...)
Le complément s'écrit : /...
L'événement temporel « temporisation » est donné en seconde et s'écrit : after(...s)
La fonction logique « ET » s'écrit : •
La fonction logique « OU » s'écrit : +
L'utilisation de la valeur d'un état donné : [in AVANCE] où AVANCE est le nom d'un état.
Le test sur une variable numérique s'écrit : c0<3 ou c0=4
Exemples :
| s'écrit |
|
| s'écrit |
|
| s'écrit |
|
| s'écrit |
|
| s'écrit |
|
| s'écrit |
|
| s'écrit |
|
| s'écrit |
|
Attention, même si la norme l'interdit, le logiciel Automgen autorise de « regrouper » 2 transitions d'un même état source vers un même état cible afin de rendre plus de lisibilité au diagramme d'état.
Il suffira d'utiliser une équation logique avec OU entre les 2 événements (voir les 2 exemples ci-dessous qui sont équivalents).