Petri net based fault diagnosis of discrete event systems
Mildreth Isadora Alcaraz-Mejia, Ernesto López-Mellado, Antonio Ramírez‐Treviño, I. Rivera-Rangel · 2004
This paper deals with model based fault diagnosis of discrete event systems (DES). A methodology for building DES models using interpreted Petri nets (IPN) is presented; then the fault diagnosis problem is stated and the diagnosability property is defined. An algorithm for determining the current k - th post failure state of a partially measurable DES is proposed.