Использование рекуррентно-ретроспективной модели для решения задач анализа асинхронных последовательностных устройств

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