Алгебраические методы синтеза моделей на основе графического представления автоматов

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