Enfoque para optimizar la carga de contenedores a través de sistemas de inecuaciones y redes de petri coloreadas.