L'état de départ :
(pers = {})
L'état d'arrivée :
(pers /= {})
Événement numero 1
Nom de l'événement :
subscription_indus
Condition de déclenchabilité :
Gardé
not(!(pp).((pp : PERS & droit_insc(pp) = ok) => !(droit_insc_apres).((droit_insc_apres : PERS --> OKO) => !(droit_apres).(droit_apres : PERS --> OKO => 0=1))))
Condition d'atteignabilité :
True
-
Retour
-