НАХОЖДЕНИЕ ОТНОШЕНИЯ ПАРАЛЛЕЛЬНОСТИ НА МНОЖЕСТВЕ ЦЕПОЧЕК АЛГОРИТМА УПРАВЛЕНИЯ
Abstract
Рассматривается проблема нахождения отношения параллельности на множестве меток корректного алгоритма логического управления. Исследуется случай, когда структура переходов между цепочками алгоритма описывается небезопасной a-сетью, а корректность алгоритма обеспечивается с помощью специальных операций изменения последовательности выполнения цепочек, не отображаемых в a-сети, – операций гашения.
References
1. Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский // Докл. АН БССР. – 1982. – Т. 26. – № 12. – С. 1088–1091.
2. Закревский, А.Д. Параллельные алгоритмы логического управления / А.Д. Закревский. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – 202 с.
3. Василенок, В.К. Анализ корректности алгоритмов управления, представленных в языке ПРАЛУ / В.К. Василенок // Логическое проектирование дискретных систем: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН БССР, 1984. – С. 78–88.
4. Ковалев, А.В. К декомпозиции параллельных алгоритмов логического управления / А.В. Ковалев, Ю.В. Поттосин // Автоматика и вычислительная техника. – 1988. – № 1. – С. 8–13.
5. Черемисинова, Л.Д. Реализация параллельных алгоритмов логического управления / Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2002. – 246 с.
6. Поттосин, Ю.В. Кодирование состояний асинхронного параллельного автомата кодами минимальной длины уравнений / Ю.В. Поттосин // Вестник Томского гос. ун-та. Приложение № 1. – Томск, 2002. – C. 110–115.
7. Cheremisinova, L.D. Optimal State Assignment of Asynchronous Parallel Automata / L.D. Cheremisinova // Design of embedded Control Systems. – Springer, 2005. – P. 125–137.
8. 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.
9. Красильникова, Л.В. Поиск отношения параллельности на множестве меток алго-ритма управления / Л.В. Красильникова, Л.Д. Черемисинова. – Минск, 1990. – 16 с. – (Пре-принт / Акад. наук БССР, Ин-т техн. кибернетики; № 9).
10. Питерсон, Дж. Теория сетей Петри и моделирование систем / Дж. Питерсон. – М.: Мир, 1984. – 264 с.
11. Закревский, А.Д. Основы логического проектирования. Комбинаторные алгоритмы дискретной математики: в 2 кн. Кн. 1 / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – Минск: ОИПИ НАН Беларуси, 2004. – 226 с.
12. Ковалев, А.В. О нахождении отношения параллельности на множестве мест одного подкласса сетей Петри / А.В. Ковалев // Весцi АН БССР. Сер. фiз.-мат. навук. – 1989. – № 2. – С. 106–110.
13. Поттосин, Ю.В. Установление параллельности мест алгоритма управления с помощью решения системы логических уравнений / Ю.В. Поттосин // Логическое проектирование: сб. науч. тр. – Минск: Ин т техн. кибернетики НАН Беларуси, 1999. – Вып. 4. – С. 102–109.
Review
For citations:
. Informatics. 2007;(1(13)):5-15. (In Russ.)
Views: 467
Email this article 