Optimización de sensores para la observabilidad de redes de Petri interpretadas Un enfoque co algoritmos de colonia de hormigas