L'état de départ : | (pers = {} & \n dom_four_acc = {} & \n val_droit = {}) |
L'état d'arrivée : | (pers = {} & \n dom_four_acc /= {} & \n val_droit = {}) |
Événement numero 1 | |
Nom de l'événement : | modif_droit_insc_four_acc |
Condition de déclenchabilité : | True |
Condition d'atteignabilité : | Gardé |
- Retour -