Fault diagnosis of electrical systems using Interpreted Petri nets. - Alejandra Santoyo-Sanchez; Elvia Ruiz-Beltrán; Luis I. Aguirre-Salas; Victor H. Ortiz-Muro (ETFA, 2008)