Vous êtes sur la page 1sur 7

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

Vous aimerez peut-être aussi