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

• Published in: Кибернетика и системный анализ
• Date: 2017
• Main Authors: Крывый, С.Л., Бойко, Ю.В., Погорелый, С.Д., Борецкий, А.Ф., Глыбовец, Н.Н.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2017
• Subjects: Програмно-технічні комплекси
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/144690
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования / С.Л. Крывый, Ю.В. Бойко, С.Д. Погорелый, А.Ф. Борецкий, Н.Н. Глыбовец // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 122-133. — Бібліогр.: 6 назв. — рос.

Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д. Розглянуто метод проектування грід-системи на основі транзиційних систем та їхніх синхронних добутків. Отримана глобальна транзиційна система транслюється в мережу Петрі (МП). За допомогою МП перевіряють коректність проектних рішень, зокрема відсутність тупиків, мертвих переходів тощо. 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.