Preview

Информатика

Расширенный поиск

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

Аннотация

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

Для цитирования:


Черемисинова Л.Д. НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ. Информатика. 2007;(1(13)):5-15.

Просмотров: 525


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)