A multiple-fault diagnoser based on coverability and invariants

In this paper, a novel approach to diagnose multiple faults in case of Discrete Event Systems (DES) modeled by Petri nets is presented. The proposed multiple faults diagnoser consists in combining the use of coverability and invariant (T-invariant and P-invariant) notions in order to check the system state. The considered system faults are those affecting both places and transitions. To test the effectiveness of the proposed approach, a diagnosis benchmark: the three- tank hydraulic system is taken as an example.