Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д....
Збережено в:
Видавець: | Інститут кібернетики ім. В.М. Глушкова НАН України |
---|---|
Дата: | 2017 |
Автори: | Крывый, С.Л., Бойко, Ю.В., Погорелый, С.Д., Борецкий, А.Ф., Глыбовец, Н.Н. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
Назва видання: | Кибернетика и системный анализ |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144690 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Проектирование ИТ-инфраструктуры
за авторством: Крывый, С.Л., та інші
Опубліковано: (2018) -
Экосистемы программной инженерии
за авторством: Крывый, С.Л., та інші
Опубліковано: (2020) -
Представлення, аналіз та видобування знань з неструктурованих природномовних текстів
за авторством: Гогерчак, Г.І., та інші
Опубліковано: (2021) -
Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
за авторством: Петрик, М.Р., та інші
Опубліковано: (2021) -
Високопродуктивні суперкомп’ютерні технології моделювання нанопористих кіберсистем зі зворотними зв’язками для адсорбційного очищення газів
за авторством: Петрик, М.Р., та інші
Опубліковано: (2020)