Enviar Registro por Correo electrónico: Síntesis del diagnosticador de fallas en un sistema de eventos discretos usando redes de Petri coloreadas /