|
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования [Текст] / С. Л. Крывый, Ю. В. Бойко, С. Д. Погорелый [и др.] // Кибернетика и системный анализ. – 2017. – Т. 53, № 1. – С. 122-133.
Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри. |