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é : | True |
- Retour -