Исследование функциональной модели асинхронного автомата, учитывающей структурные состязания

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