Slide 1

Action conditionnelle

15

e

f

Actions conditionnelles :

E

F

• Si (e = 0  e = 1) alors
action E effective*

e.f
16

• Si (f = 0  f = 1) alors
Action B

action F effective*

• Si ( e . f = 1 ) alors
aucune action effective
* : L ’étape 15 doit être active !


Slide 2

Action conditionnelle

15

e

f

E

F

e.f
16

Action B

Étape 15 active :
• La transition 15 - 16 est
validée
• les actions sont effectives si
les conditions sont VRAIES

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


Slide 3

Action conditionnelle

15

e

f

E

F

e.f
16

Action B

Étape 15 active :
les 2 actions sont effectives
car les deux conditions sont
VRAIES
Ici, e = 0  e = 1 :

& f=0f=1:
 Actions E & F
effectives


Slide 4

Action conditionnelle

15

e

f

E

F

Étape 15 active :
Une seule action effective car
une seule condition est VRAIE

e.f
16

Action B

Ici, f = 0  f = 1 :

 Action F effective


Slide 5

Action conditionnelle

15

e

f

E

F

e.f
16

Étape 15 active :
les deux actions ne sont plus
effectives car les conditions
sont FAUSSES

Action B
Ici, e = f = 1 :

Plus d’actions effectives
La réceptivité de la transition 15-16 est VRAIE


Slide 6

Action conditionnelle

15

e

f

E

F

e.f
16

Étape 15 active = Transition
15-16 validée

&
Réceptivité VRAIE

Action B
Franchissement de la transition
 Désactivation de l’étape 15
 Activation de l’étape 16


Slide 7

Action conditionnelle

15

e

f

E

F

Étape 16 active

e.f
16

Action B
Action B effective