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.
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).
|