Traductor de especificaciones XML de redes de Petri coloreadas a un lenguaje para la resolución de problemas de optimización