Abstract:This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ensuring reliability and maintaining operational integrity, yet current methods often struggle with the complexity introduced by unboundedness and potential deadlocks. Given an unbounded labeled Petri net that may reach deadlocks, a quiescent basis coverability graph is established to verify the diagnosability of the considered system. This procedure employs a deterministic finite state automaton, called an extended verifier, derived from the proposed quiescent basis coverability graph. It is shown that an unbounded Petri net is diagnosable if and only if the verifier does not contain a class of cycles, called repetitive $F$ -cycles. This result also provides necessary and sufficient conditions for diagnosability enforcement by developing an online supervisor. Further, the designed supervisor is maximally permissive and also circumvents a plant entering deadlocks by firing non-fault sequences. Examples are presented to demonstrate the proposed method. Note to Practitioners —Fault diagnosis and diagnosability enforcement are critical for the development and operation of highly automated systems covering computer-integrated production processes, intelligent traffic, computer and communication networks, smart gird, etc. This work touches upon this problem from the perspective of discrete event systems that are modeled with unbounded labeled Petri nets. The feasibility and applicability of the reported method stem from the usage of a structurally compact representation of a considered plant such that the computational cost of a real-world system is acceptable. The graphical representation of Petri nets as well as the proposed quiescent basis coverability graph make the method easy to use and manipulate. Moreover the sufficient and necessary conditions of diagnosability enforcement can be readily verified by the supervisory theory, facilitating its adoption by practitioners.

Diagnosability Verification and Enforcement for Unbounded Petri Nets by Online Supervisors

Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets: Fault Diagnosis of Petri Nets

Codiagnosability Verification Of Bounded Petri Nets Using Basis Markings

Codiagnosability Enforcement in Labeled Petri Nets

Fault Diagnosis for Discrete Event Systems Using Partially Observed Petri Nets

An Improved Approach to Test Diagnosability of Bounded Petri Nets

Fault Diagnosis Based on the Structure Information of Partially Observed Petri Nets.

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

Supervisor design for a class of generalized Petri net with uncontrollable transitions

Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs.

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Petri Net Cascade Decomposition for Supervisory Control

Supervisor Synthesis for Bounded Petri Nets Based on a Transformation Function.

Non‐blocking Decentralized Control of Discrete Event Systems Based on Petri Nets

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Maximum fault-free enforcement in Petri nets using supervisory control

Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomalies

Diagnosability for Discrete Event Systems Based on Petri Net Language.