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