L'état de départ : | (pers /= {} & \n dom_indus /= {} & \n (val_droit |>> {ok})[dom_univ] = {}) |
L'état d'arrivée : | (pers /= {} & \n dom_univ /= {} & \n (val_droit |>> {ok})[dom_univ] = {}) |
Événement numero 1 | |
Nom de l'événement : | download_univ |
Condition de déclenchabilité : | Gardé |
Condition d'atteignabilité : | True |
Événement numero 2 | |
Nom de l'événement : | modif_droit |
Condition de déclenchabilité : | True |
Condition d'atteignabilité : | Gardé |
Événement numero 3 | |
Nom de l'événement : | subscription |
Condition de déclenchabilité : | Gardé |
Condition d'atteignabilité : | Gardé |
Événement numero 4 | |
Nom de l'événement : | subscription_wm |
Condition de déclenchabilité : | Gardé |
Condition d'atteignabilité : | Gardé |
Événement numero 5 | |
Nom de l'événement : | modif_droit_insc |
Condition de déclenchabilité : | True |
Condition d'atteignabilité : | Gardé |
- Retour -