Построение рекуррентно-ретроспективной модели асинхронного последовательностного устройства по исходному описанию в виде логической сети

Рассматривается проблема формального построения $\mathsf{PP}$-модели по исходному описанию последовательностного устройства в виде логической сети, для элементов которой задано $\Delta$-ограничение, регламентирующее соотношение их задержек переключения. Исследуются условия устойчивой фиксации заданного сигнала на любой линии сети. В качестве инструмента анализа используется аппарат “И/ИЛИ” графов. Предлагается алгоритм построения покрытий $\mathsf{PP}$-модели.