Une algèbre de Boole pour l'approche événementielle des systèmes logiques

La modélisation dynamique des systèmes logiques fait largement appel à la notion “d'événement”. En Grafcet par exemple, les événements sont représentés par des fronts de variables logiques. De nombreuses ambiguïtés sont cependant rencontrées dans les modèles car la représentation des événements par des fronts n'est pas assez formelle. Dans cet article, nous proposons une algèbre de Boole dont l'ensemble de définition permet une représentation temporelle des entrées et des sorties de tout système logique. Nous définissons sur cette algèbre deux lois unaires qui permettent de modéliser formellement les événements. Nous démontrons ensuite quatorze propriétés relatives à ces lois événementielles ainsi qu'à leur composition avec les lois ET, OU, NON.