Les réceptivités

Une réceptivité est associée à chaque transition (l'absence de réceptivité est en fait la réceptivité toujours vrai). C'est une condition qui détermine la possibilité ou non d'évolution du système par cette transition.

Une réceptivité s'exprime comme étant une expression booléenne écrite à l'aide des variables d'entrées Ei, des variables d'étapes Xi , des opérateurs logiques et, ou , non ainsi que de l'opérateur à retard "t1/Xn/t2", auquel on peut rajouter les opérateurs front montant et front descendant. Ces opérateurs permettent d'introduire le concept d'événement. Ils expriment le changement d'état d'une variable booléenne.