Email Record: Síntesis del diagnosticador de fallas en un sistema de eventos discretos usando redes de Petri coloreadas /