Diagnosability Enforcement in Labeled Petri Nets Based on Digital Twins

This paper deals with the problem of diagnosability enforcement of discrete event systems. Given a non-diagnosable discrete event system modelled with Petri nets, which may enter a deadlock state or an unobservable live-lock (that each composed transition is unobservable), a digital twin system (derived from the original labeled Petri net model) can be established as a particular Petri net such that the original system under the control of its digital twin system is diagnosable. An example is given to illustrate the proposed method and the correctness of the method is proved by theoretical proof.