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.