|
2.1.
Règle N°1 : situation initiale.
2.2.
Règle N°2 : franchissement d'une transition :
Une transition
devient franchissable et est alors obligatoirement franchie lorsque la
transition est validée (étape
associée active) et lorsque la
réceptivité associée à cette transition est
vraie.
2.3.
Règle N°3 : évolution des étapes actives :
Le franchissement
d'une transition provoque simultanément :
- la désactivation de toutes les étapes immédiatement précédentes reliées à cette transition.
- l'activation de toutes les étapes immédiatement suivantes reliées à cette transition.
Cliquez
ici pour lancer le diaporama powerpoint si ce que raconte le gars en
costume gris vous laisse perplexe
(rq :lorsque vous aurrez lancer l'animation powerpoint, pour avancer
, cliquez sur l'image)
III.
STRUCTURES DE BASE :
3.1.
Divergence et convergence en ET :
- Divergence
en ET : lorsque la transition
A est franchie, les étapes 21 et 24 sont actives.
- Convergence
en ET : la transition B sera validée lorsque les étapes 23 et 27 seront actives.
Si la réceptivité associée à cette transition est vraie, alors celle-ci
est franchie.
REMARQUES
:
- Après
une divergence
en ET, on trouve une convergence
en ET.
- Le nombre
de branches parallèles peut-être supérieur à
2.
- La réceptivité
associée à la convergence peut-être de la forme
=
1. Dans ce cas la transition est franchie
dès qu'elle est validée.
3.2.
Divergence et convergence en OU.
- Divergence
en OU : l'évolution du système
vers une branche dépend des réceptivités A et B
associées aux transitions.
- Convergence
en OU : après avoir évolué
dans une branche, on converge vers une étape commune.
REMARQUES
:
- Après une divergence en OU, on trouve une convergence en OU.
- Le nombre
de branches peut-être supérieur à 2.
- La convergence
de toutes les branches ne se fait pas obligatoirement au même
endroit.
Saut
en avant (saut de phase).
Saut
en arrière (reprise de phase).
| 
