L'état de départ : (pers = {})
L'état d'arrivée : (pers /= {})
 
Événement numero 1
Nom de l'événement : subscription
Condition de déclenchabilité : Gardé
 
Condition d'atteignabilité : True
Événement numero 2
Nom de l'événement : subscription_wm
Condition de déclenchabilité : Gardé
 
Condition d'atteignabilité : True

- Retour -