Diagnosability analysis of partially observable deadlock-free Petri Nets

This paper addresses the diagnosability property of discrete event models, which is a key feature in model-based failure diagnosis. Necessary and sufficient conditions for diagnosability of deadlock-free Interpreted Petri Nets (IPN) are given, based on the observations of reachable repetitive vectors. Afterwards, an algorithm to verify sufficient conditions for diagnosability of such models is proposed.