Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets

Abstract

Abstract Fault diagnosis is an important problem in the manufacturing industry. It has been extensively studied in the past few decades both in time‐driven systems and discrete event systems. This paper presents a Petri net diagnoser for online fault diagnosis of discrete event systems modeled by bounded labeled Petri nets. First, we present the concept and some properties of an extended basis reachability graph. Next, based on such a graph, we construct a Petri net diagnoser that is used to determine if a fault has occurred. Finally, an example is given to illustrate the application of the proposed diagnoser.