Aplicación del método de anidamiento latente de fallos usando Redes de Petri Coloreadas para el diagnóstico de fallos en el sistema de refrigeración y lubricación de un aerogenerador