L'état de départ : (UnFournisseurAcces /: pers & \n UnFournisseurAcces : dom_four_acc)
L'état d'arrivée : (UnFournisseurAcces /: pers & \n UnFournisseurAcces : dom_four_acc)
 
Événement numero 1
Nom de l'événement : download_four
Condition de déclenchabilité : Gardé
 
Condition d'atteignabilité : True
Événement numero 2
Nom de l'événement : refus
Condition de déclenchabilité : True
Condition d'atteignabilité : True
Événement numero 3
Nom de l'événement : refus_wm_four
Condition de déclenchabilité : True
Condition d'atteignabilité : True

- Retour -