Síntesis del diagnosticador de fallas en un sistema de eventos discretos usando redes de Petri coloreadas - Murillo Soto, Luis Diego 1976- (2016)