Diagnosing PN-based models with partial observable transitions

Failure diagnosis back-traces failures based on an observed system behaviour when a failure occurs. Ushio et al. (1998) first studied the diagnosability of Petri net (PN) models, a common mathematical modelling structure for CIM systems. With transitions all assumed to be unobservable, the diagnosis process of Ushio et al. relies solely on marking changes at observable places, making diagnosability analysis of most non-trivial PN...