В работе рассматривается задача синтеза информационно-управляющей структуры программно-аппаратного обеспечения навигационных подсистем мобильных роботов для априорно неопределенной рабочей среды. Предложен математический аппарат построения алгоритмически однородных навигационных сред на основе расширенных сетей Петри, в рамках которого дается формализация основных положений интерпретирующих навигации. Обосновываются решения основных навигационных задач в рамках предлодженной концепции.
