Latent nestling method as an abstraction method in colored petri nets for fault diagnosis in complex systems

Abstract

ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA Este artículo presenta la formalización matemática de las redes de Petri híbridas y coloreadas para el anidamiento Latente de Fallos (AL), como método de abstracción respecto al diagnóstico de fallos llamado Redes de Petri Híbridas y Coloreadas para el Diagnóstico de Fallos (RdPHCDF). Además de esto, se demuestra la mayor capacidad de síntesis y modelado en el aislamiento y diagnóstico de fallos en sistemas complejos. Por otra parte, este trabajo presenta un ejemplo práctico de aplicación del método que consiste en un tanque de almacenamiento de líquidos.

ONTARE. REVISTA DE INVESTIGACIÓN DE LA FACULTAD DE INGENIERÍA This paper presents the mathematical formalization in Hybrid and Colored Petri Nets applied to the Latent Nestling Method (LNM) as an abstraction method in regard to the Fault Diagnosis, termed: Hybrid Colored Petri Net for Fault Diagnosis (DHCPN). In addition, enhanced synthesis and modeling capability for fault isolation and diagnosis in complex systems is demonstrated. Moreover, this paper shows a practical example of implementation that consists of a liquid storage tank.