Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Крывый, С.Л. | |
| dc.contributor.author | Бойко, Ю.В. | |
| dc.contributor.author | Погорелый, С.Д. | |
| dc.contributor.author | Борецкий, А.Ф. | |
| dc.contributor.author | Глыбовец, Н.Н. | |
| dc.date.accessioned | 2019-01-01T20:35:26Z | |
| dc.date.available | 2019-01-01T20:35:26Z | |
| dc.date.issued | 2017 | |
| dc.identifier.citation | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/144690 | |
| dc.description.abstract | Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д. | uk_UA |
| dc.description.abstract | Розглянуто метод проектування грід-системи на основі транзиційних систем та їхніх синхронних добутків. Отримана глобальна транзиційна система транслюється в мережу Петрі (МП). За допомогою МП перевіряють коректність проектних рішень, зокрема відсутність тупиків, мертвих переходів тощо. | uk_UA |
| dc.description.abstract | 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. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Програмно-технічні комплекси | uk_UA |
| dc.title | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования | uk_UA |
| dc.title.alternative | Проектувания грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонування | uk_UA |
| dc.title.alternative | Design of grid structures based on transition systems with justification of the correctness of their functioning | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 004.75 |
