Scribd
Importer
105 vues7 pages

Act Cond

Transféré par

Ayb Cha Kri
Copyright
© Attribution Non-Commercial (BY-NC)
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PPS, PDF, TXT ou lisez en ligne sur Scribd
105 vues7 pages

Act Cond

Transféré par

Ayb Cha Kri
Copyright
© Attribution Non-Commercial (BY-NC)
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PPS, PDF, TXT ou lisez en ligne sur Scribd

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