informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-606Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNНАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯЧеремисиноваЛ. Д.Объединенный институт проблем информатики НАН БеларусиBelarus20071311201801(13)515Copyright © Черемисинова Л.Д., 20182018Черемисинова Л.Д.Черемисинова Л.Д.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/606

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

ReferencesЗакревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский // Докл. АН БССР. – 1982. – Т. 26. – № 12. – С. 1088–1091.Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский // Докл. АН БССР. – 1982. – Т. 26. – № 12. – С. 1088–1091.Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – 202 с.Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – 202 с.Василенок, В.К. Анализ корректности алгоритмов управления, представленных в языке ПРАЛУ / В.К. Василенок // Логическое проектирование дискретных систем: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН БССР, 1984. – С. 78–88.Василенок, В.К. Анализ корректности алгоритмов управления, представленных в языке ПРАЛУ / В.К. Василенок // Логическое проектирование дискретных систем: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН БССР, 1984. – С. 78–88.Ковалев, А.В. К декомпозиции параллельных алгоритмов логического управления / А.В. Ковалев, Ю.В. Поттосин // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8–13.Ковалев, А.В. К декомпозиции параллельных алгоритмов логического управления / А.В. Ковалев, Ю.В. Поттосин // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8–13.Черемисинова, Л.Д. Реализация параллельных алгоритмов логического управления / Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2002. – 246 с.Черемисинова, Л.Д. Реализация параллельных алгоритмов логического управления / Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2002. – 246 с.Поттосин, Ю.В. Кодирование состояний асинхронного параллельного автомата кодами минимальной длины уравнений / Ю.В. Поттосин // Вестник Томского гос. ун-та. Приложение № 1. – Томск, 2002. – C. 110–115.Поттосин, Ю.В. Кодирование состояний асинхронного параллельного автомата кодами минимальной длины уравнений / Ю.В. Поттосин // Вестник Томского гос. ун-та. Приложение № 1. – Томск, 2002. – C. 110–115.Cheremisinova, L.D. Optimal State Assignment of Asynchronous Parallel Automata / L.D. Cheremisinova // Design of embedded Control Systems. – Springer, 2005. – P. 125–137.Cheremisinova, L.D. Optimal State Assignment of Asynchronous Parallel Automata / L.D. Cheremisinova // Design of embedded Control Systems. – Springer, 2005. – P. 125–137.Zakrevskij, A. D. A quick algorithm for state assignment in parallel automata / A.D. Zakrevskij, I.V. Vasilkova // Proc. of the Third Int. conf. on Computer-Aided Design of Discrete Devices (CAD DD'99). Minsk, Nov. 1999. – Vol. 1. – Minsk: UIIP of NAS of Belarus. – Р. 40–44.Zakrevskij, A. D. A quick algorithm for state assignment in parallel automata / A.D. Zakrevskij, I.V. Vasilkova // Proc. of the Third Int. conf. on Computer-Aided Design of Discrete Devices (CAD DD'99). Minsk, Nov. 1999. – Vol. 1. – Minsk: UIIP of NAS of Belarus. – Р. 40–44.Красильникова, Л.В. Поиск отношения параллельности на множестве меток алго-ритма управления / Л.В. Красильникова, Л.Д. Черемисинова. – Минск, 1990. – 16 с. – (Пре-принт / Акад. наук БССР, Ин-т техн. кибернетики; № 9).Красильникова, Л.В. Поиск отношения параллельности на множестве меток алго-ритма управления / Л.В. Красильникова, Л.Д. Черемисинова. – Минск, 1990. – 16 с. – (Пре-принт / Акад. наук БССР, Ин-т техн. кибернетики; № 9).Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М.: Мир, 1984. – 264 с.Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М.: Мир, 1984. – 264 с.Закревский, А.Д. Основы логического проектирования. Комбинаторные алгоритмы дискретной математики: в 2 кн. Кн. 1 / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2004. – 226 с.Закревский, А.Д. Основы логического проектирования. Комбинаторные алгоритмы дискретной математики: в 2 кн. Кн. 1 / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2004. – 226 с.Ковалев, А.В. О нахождении отношения параллельности на множестве мест одного подкласса сетей Петри / А.В. Ковалев // Весцi АН БССР. Сер. фiз.-мат. навук. – 1989. – № 2. – С. 106–110.Ковалев, А.В. О нахождении отношения параллельности на множестве мест одного подкласса сетей Петри / А.В. Ковалев // Весцi АН БССР. Сер. фiз.-мат. навук. – 1989. – № 2. – С. 106–110.Поттосин, Ю.В. Установление параллельности мест алгоритма управления с помощью решения системы логических уравнений / Ю.В. Поттосин // Логическое проектирование: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 102–109.Поттосин, Ю.В. Установление параллельности мест алгоритма управления с помощью решения системы логических уравнений / Ю.В. Поттосин // Логическое проектирование: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 102–109.

The authors declare that there are no conflicts of interest present.