L'état de départ :
(UnIndustriel /: pers)
L'état d'arrivée :
(UnIndustriel : 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 & pp = UnIndustriel) => !(droit_insc_apres).((droit_insc_apres : PERS --> OKO) => !(droit_apres).(droit_apres : PERS --> OKO => 0=1))))
Condition d'atteignabilité :
True
-
Retour
-