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

- Retour -