Distributed fault diagnosis using Petri net reduced models

This paper is concerned with the distributed diagnosis of discrete event systems (DES) using reduced interpreted Petri nets (IPN) models. Two contributions are presented extending a previous work from the authors. First, the condition of event detectability is relaxed over parts of the model where the faults are not expected; thus the diagnoser handles a reduced model. Second, a method for splitting the global model into communicating modules is proposed; this leads to the design of a set of distributed diagnosers.