Fault Diagnosis and Operation Continuation of Sequential Control System Using Petri Net

[1]  V. S. Srinivasan,et al.  Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..