НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ

Abstract

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