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

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

Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д....