L'état de départ : (pers /= {} & \n dom_indus /= {} & \n (val_droit |>> {ok})[dom_indus] /= {} & \n (lic |>> {ok}) /= {})
L'état d'arrivée : (pers /= {} & \n dom_indus /= {} & \n (val_droit |>> {ok})[dom_indus] = {} & \n (lic |>> {ok}) /= {})
 
Événement numero 1
Nom de l'événement : modif_droit
Condition de déclenchabilité : True
Condition d'atteignabilité : Gardé
 
Événement numero 2
Nom de l'événement : subscription_indus
Condition de déclenchabilité : Gardé
 
Condition d'atteignabilité : Gardé
 
Événement numero 3
Nom de l'événement : modif_droit_insc_indus
Condition de déclenchabilité : True
Condition d'atteignabilité : Gardé
 

- Retour -