Failure diagnosis: a case study on modeling and analysis by Petri nets

Failure diagnosis in the context of DES was first formulated by Sampath et al. Where the notion of diagnosability and the associated diagnoser are proposed. Ushio et al. extended Sampath's study to systems modeled by Petri nets. This paper further assumes some of the transitions in a Petri net model are observable in the sense that its occurrence can be observed. The main contribution of this study shows how diagnosers and verifiers for systems modeled by Petri net are constructed accordingly. As shown by examples, the additional information from observed transitions adds diagnosability to the system.