A MONITORING APPROACH FOR DISCRETE EVENT SYSTEMS BASED ON A TIME PETRI NET MODEL

Abstract We develop in this paper a monitoring approach for Discrete Event Systems (DES) starting from a time Petri net model representing the a priori known behavior of such a system. The originality of our approach lies in the combination made of the concept of event observability with the exploitation of the temporal constraints on these events in order to refine the result of the monitoring process.

[1]  Bengt Aspvall,et al.  A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[2]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[3]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.