Action conditionnelle

e f Actions conditionnelles :

15 E F • Si (e = 0  e = 1) alors
action E effective*
e.f
• Si (f = 0  f = 1) alors
16 Action B
action F effective*
• Si ( e . f = 1 ) alors
aucune action effective

* : L ’étape 15 doit être active !

 Action conditionnelle

e f Étape 15 active :

15 E F • La transition 15 - 16 est
validée
e.f • les actions sont effectives si
les conditions sont VRAIES
16 Action B

Ici, e = 0  e = 1 :
 Action E effective
 Action conditionnelle

e f Étape 15 active :

15 E F les 2 actions sont effectives

car les deux conditions sont
e.f VRAIES

16 Action B
Ici, e = 0  e = 1 :
& f=0f=1:
 Actions E & F
effectives
 Action conditionnelle

e f Étape 15 active :

15 E F Une seule action effective car

une seule condition est VRAIE
e.f

16 Action B
Ici, f = 0  f = 1 :
 Action F effective
 Action conditionnelle

e f Étape 15 active :

15 E F les deux actions ne sont plus

effectives car les conditions
e.f sont FAUSSES

16 Action B
Ici, e = f = 1 :
Plus d’actions effectives

La réceptivité de la transition 15-16 est VRAIE

 Action conditionnelle

Étape 15 active = Transition

e f 15-16 validée
15 E F
&
e.f Réceptivité VRAIE

16 Action B
Franchissement de la transition

 Désactivation de l’étape 15
 Activation de l’étape 16
 Action conditionnelle

e f
15 E F
Étape 16 active
e.f

16 Action B
Action B effective