Exploitation des contraintes temporelles pour le suivi temps-réel des SEDs

We develop in this paper an online monitoring approach for Discret Event systems (DES) starting from a time Petri net model of the a priori known behaviour of such systems. Within the framework of our approach, we develop a tool integrating the temporal constraints on the factual behaviour of the system. The working of these relations allows to fill up the partial observability on events. The originality of our study consists in combining the notion of observability with the working of temporal constraints on the events, allowing thus to acquire a more fine monitoring process result.