Objectif
L’objectif principal de la fonction ComputeTrans() est le calcul des transitions dans un GRAFCET. Une transition peut être franchissable ou non. L’état d’une transition il ne dépend que de l’état de l’étape qui lui précède et la réceptivité. Une transition est franchie lorsque la condition logique de la réceptivité est vraie ET l’étape précédente est active. D’une autre façon une transition ne peut avoir que deux états logiques : haut (transition franchie) ou bas (transition non franchie).