Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования

Скорочена інформація про документ
dc.contributor.authorКрывый, С.Л.
dc.contributor.authorБойко, Ю.В.
dc.contributor.authorПогорелый, С.Д.
dc.contributor.authorБорецкий, А.Ф.
dc.contributor.authorГлыбовец, Н.Н.
dc.date.accessioned2019-01-01T20:35:26Z
dc.date.available2019-01-01T20:35:26Z
dc.date.issued2017
dc.description.abstractРассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.uk_UA
dc.description.abstractРозглянуто метод проектування грід-системи на основі транзиційних систем та їхніх синхронних добутків. Отримана глобальна транзиційна система транслюється в мережу Петрі (МП). За допомогою МП перевіряють коректність проектних рішень, зокрема відсутність тупиків, мертвих переходів тощо.uk_UA
dc.description.abstractThe 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.uk_UA
dc.identifier.citationПроектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос.uk_UA
dc.identifier.issn0023-1274
dc.identifier.udc004.75
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/144690
dc.language.isoruuk_UA
dc.publisherІнститут кібернетики ім. В.М. Глушкова НАН Україниuk_UA
dc.relation.ispartofКибернетика и системный анализ
dc.statuspublished earlieruk_UA
dc.subjectПрограмно-технічні комплексиuk_UA
dc.titleПроектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционированияuk_UA
dc.title.alternativeПроектувания грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонуванняuk_UA
dc.title.alternativeDesign of grid structures based on transition systems with justification of the correctness of their functioninguk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
11-Kryvyi.pdf
Розмір:
131.19 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Кибернетика и системный анализ, 2017, № 1