Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д. Роз...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2017 |
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144690 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862545752661688320 |
|---|---|
| author | Крывый, С.Л. Бойко, Ю.В. Погорелый, С.Д. Борецкий, А.Ф. Глыбовец, Н.Н. |
| author_facet | Крывый, С.Л. Бойко, Ю.В. Погорелый, С.Д. Борецкий, А.Ф. Глыбовец, Н.Н. |
| citation_txt | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-11-25T07:11:26Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-144690 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-25T07:11:26Z |
| publishDate | 2017 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Крывый, С.Л. Бойко, Ю.В. Погорелый, С.Д. Борецкий, А.Ф. Глыбовец, Н.Н. 2019-01-01T20:35:26Z 2019-01-01T20:35:26Z 2017 Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/144690 004.75 Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д. Розглянуто метод проектування грід-системи на основі транзиційних систем та їхніх синхронних добутків. Отримана глобальна транзиційна система транслюється в мережу Петрі (МП). За допомогою МП перевіряють коректність проектних рішень, зокрема відсутність тупиків, мертвих переходів тощо. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Програмно-технічні комплекси Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования Проектувания грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонування Design of grid structures based on transition systems with justification of the correctness of their functioning Article published earlier |
| spellingShingle | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования Крывый, С.Л. Бойко, Ю.В. Погорелый, С.Д. Борецкий, А.Ф. Глыбовец, Н.Н. Програмно-технічні комплекси |
| title | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования |
| title_alt | Проектувания грід-структур на основі транзиційних систем з обгрунтуванням правильності їх функціонування Design of grid structures based on transition systems with justification of the correctness of their functioning |
| title_full | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования |
| title_fullStr | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования |
| title_full_unstemmed | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования |
| title_short | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования |
| title_sort | проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования |
| topic | Програмно-технічні комплекси |
| topic_facet | Програмно-технічні комплекси |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144690 |
| work_keys_str_mv | AT kryvyisl proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ AT boikoûv proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ AT pogorelyisd proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ AT boreckiiaf proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ AT glybovecnn proektirovaniegridstrukturnaosnovetranzicionnyhsistemsobosnovaniempravilʹnostiihfunkcionirovaniâ AT kryvyisl proektuvaniâgrídstrukturnaosnovítranzicíinihsistemzobgruntuvannâmpravilʹnostííhfunkcíonuvannâ AT boikoûv proektuvaniâgrídstrukturnaosnovítranzicíinihsistemzobgruntuvannâmpravilʹnostííhfunkcíonuvannâ AT pogorelyisd proektuvaniâgrídstrukturnaosnovítranzicíinihsistemzobgruntuvannâmpravilʹnostííhfunkcíonuvannâ AT boreckiiaf proektuvaniâgrídstrukturnaosnovítranzicíinihsistemzobgruntuvannâmpravilʹnostííhfunkcíonuvannâ AT glybovecnn proektuvaniâgrídstrukturnaosnovítranzicíinihsistemzobgruntuvannâmpravilʹnostííhfunkcíonuvannâ AT kryvyisl designofgridstructuresbasedontransitionsystemswithjustificationofthecorrectnessoftheirfunctioning AT boikoûv designofgridstructuresbasedontransitionsystemswithjustificationofthecorrectnessoftheirfunctioning AT pogorelyisd designofgridstructuresbasedontransitionsystemswithjustificationofthecorrectnessoftheirfunctioning AT boreckiiaf designofgridstructuresbasedontransitionsystemswithjustificationofthecorrectnessoftheirfunctioning AT glybovecnn designofgridstructuresbasedontransitionsystemswithjustificationofthecorrectnessoftheirfunctioning |