Navegación de un robot humanoide mediante redes de Petri y lógica difusa