Diagnosability analysis based on T-invariants of Petri nets

In this paper, we explore diagnosability analysis based on T-invariants of Petri nets. First, diagnosability of Petri nets is defined in terms of net structures. Then, we propose an algorithm for checking diagnosability of discrete event systems. We use the structure information of T-invariants of a system to do the diagnosis. To check if a system is diagnosable or not, our approach is more efficient than state-enumeration methods. The automated guided vehicles (AGVs) system is presented to illustrate the approach.