Cette étude porte sur le problème de routage des véhicules intelligents automatisés (AIV) dans un port. L'objectif est de prouver l'efficacité du système automatisé pour le transfert des conteneurs dans les terminaux portuaires. La capacité des navires ne cesse d'augmenter, ce qui signifie un énorme volume de conteneurs transportés. Pour des raisons de concurrence, le temps nécessaire pour charger/décharger les navires doit être réduit. Pour cela, un système automatisé devient une priorité afin d'augmenter la productivité et de réduire les coûts d'exploitation. Ce travail traite des problèmes de modélisation et d'ordonnancement pour permettre le routage des AIV. La modélisation est effectuée avec des réseaux de Petri temporisé (TPN). Le problème d'ordonnancement des AIVs est traité à l'aide de Beam search avec l'objectif de trouver une séquence de contrôle entre un état initial et un état de référence en un minimum de temps. Un exemple est utilisé pour illustrer la démarche.