6. Interprétation temporelle d’une évolution de situation
La norme CEI 60848
précise que « l’interprétation intuitive de l’évolution, dite « pas à pas », désigne la démarche progressive qui permet, sur occurrence d’un événement d’entrée et à partir de la situation antérieure, de déterminer, par application successive des règles d’évolution sur chaque transition, la situation postérieure à l’événement considéré (exemples 1 et 2). Cette facilité d’interprétation est un artifice autorisant une spécification indirecte de l’évolution, mais le spécificateur doit prendre garde au fait que le franchissement des transitions situées sur ce chemin n’implique pas l’activation effective des situations intermédiaires (exemple 3) »....
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Interprétation temporelle d’une évolution de situation