FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Sistemas de navegaÃÃo autÃnomos devem ser capazes de definir uma seqÃÃncia de aÃÃes a serem tomadas por robÃs mÃveis, dotados de um conjunto limitado de sensores, quando expostos a um ambiente externo suposto desconhecido e tendo que atender simultaneamente a um elenco de objetivos previamente especificados. O interesse cientÃfico no estudo de sistemas de navegaÃÃo em ambientes desconhecidos e sujeitos ao atendimento de mÃltiplos objetivos à motivado basicamente pelo seu evidente potencial em aplicaÃÃes industriais e pelo fato de demandarem a implementaÃÃo de estratÃgias de soluÃÃes complexas. Este trabalho apresenta a modelagem de um sistema de navegaÃÃo para robÃs moveis por meio de Redes de Petri Coloridas. O modelo apresentado consegue simular vÃrias situaÃÃes, tais como a representaÃÃo do mundo em volta do robÃ, interaÃÃo com o ambiente, planejamento de trajetÃria, localizaÃÃo do robà e anÃlise das baterias, bem como servir de base para implementaÃÃo em um robà mÃvel real e otimizaÃÃo do sistema. / Systems of autonomous navigation must be able to define a sequence of actions to be taken bymobile robots endowed with a set of limited sensors, while exposed to an unknown environment and having to serve simultaneously a set of objectives previously specified. The scientific interest in the study of systems of navigation in unknown environment which are subject of serving to several objectives is motivated basically by its evident potential in industrial applications and by the fact of demanding the implementation of complex solutions strategies. This research presents the modeling of a navigation system for mobile robots through coloured Petri nets. The model presented here can simulate several situations, such as: the representation of the world around the robot, interaction with the environment, trajectory planning, robot location, battery analysis, as well as how to serve as a basis for implementation in a real mobile robot and optimization of the system.