Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
|
|
| Creator |
Крывый, С.Л.
Бойко, Ю.В. Погорелый, С.Д. Борецкий, А.Ф. Глыбовец, Н.Н. |
|
| Subject |
Програмно-технічні комплекси
|
|
| Description |
Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.
Розглянуто метод проектування грід-системи на основі транзиційних систем та їхніх синхронних добутків. Отримана глобальна транзиційна система транслюється в мережу Петрі (МП). За допомогою МП перевіряють коректність проектних рішень, зокрема відсутність тупиків, мертвих переходів тощо. The authors consider the method of designing grid systems based on transition systems and their products. The resulting global transition system is translated into a Petri net, which is used to verify the correctness of the design decisions. |
|
| Date |
2019-01-01T20:35:26Z
2019-01-01T20:35:26Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/144690 004.75 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|