Descripción: “... formalización matemática de las redes de Petri híbridas y coloreadas para el anidamiento Latente de Fallos (AL...”