L'état de départ : (UnIndustriel : pers & \n UnIndustriel : dom_indus & \n val_droit(UnIndustriel) = ok & \n lic(UnIndustriel) /= ok)
L'état d'arrivée : (UnIndustriel : pers & \n UnIndustriel : dom_indus & \n val_droit(UnIndustriel) = ok & \n lic(UnIndustriel) /= ok)
 
Événement numero 1
Nom de l'événement : download_indus
Condition de déclenchabilité : True
Condition d'atteignabilité : True
Événement numero 2
Nom de l'événement : modif_droit_insc_indus_2
Condition de déclenchabilité : True
Condition d'atteignabilité : Gardé
 

- Retour -