1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.714.5

Реферат:

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