Menu - Premières définitions - Structures de base - Règles d'évolution - Les points de vue

Règle n°1 : Situation initiale

Règle n°2 : Franchissement d'une transition.

L'évolution de la situation définie à un instant donné sur le graphe correspond au franchissement d'une transition. Ce franchissement s'effectue :

• si la transition est validée.
• et si la réceptivité associée à cette transition est vraie.

Lorsque les deux conditions sont réunies, la transition devient franchissable et est alors obligatoirement franchie.

Règle n°3 : Évolution des étapes actives.

Le franchissement d'une transition entraîne simultanément l'activation de toutes les étapes immédiatement suivantes et la désactivation de toutes les étapes immédiatement précédentes.

Exemple

Sur l'image suivante, r1, r2 et r3 sont les trois réceptivités associées aux transitions, dessinées en rouge si elles sont fausses, en vert si elles sont vraies.

La réceptivité r3 devient vraie en même temps que r1 sur cet exemple, mais cela ne provoque pas d'évolution, car la transition correspondante n'est pas validée.

Règle n°4 : Évolutions simultanées.

Plusieurs transitions simultanément franchissables sont simultanément franchies.

Règle n°5 : Activation et désactivation simultanées.

Si, au cours du fonctionnement, une étape active est simultanément activée et désactivée, alors elle reste active.