Синтез управляющих автоматов с использованием распределенных и параллельных систем

Abstract

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