Генерация условий сохранения свойств управляемых дискретно-событийных систем

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

Статья представлена к публикации членом редколлегии: С. Н. Васильев