Аннотация. Рассмотрен метод проектирования грид-системы на основе транзиционных систем и их синхронных произведений. Полученная глобальная транзиционная система транслируется в сеть Петри (СП). С помощью СП проверяется корректность проектных решений, в частности отсутствие тупиков, мертвых переходов и т.д.
Ключевые слова: грид-структура, транзиционные системы, диофантовые уравнения.
Крывый Сергей Лукьянович,
доктор физ.-мат. наук, профессор Киевского национального университета имени Тараса Шевченко,
e-mail: sl.krivoi@gmail.com.
Бойко Юрий Владимирович,
кандидат физ.-мат. наук, доцент Киевского национального университета имени Тараса Шевченко,
e-mail: boyko@univ.net.ua.
Погорелый Сергей Демьянович,
доктор техн. наук, профессор, заведующий кафедрой Киевского национального университета
имени Тараса Шевченко,
e-mail: sdp@univ.net.ua.
Борецкий Александр Францевич,
ассистент кафедры Киевского национального университета имени Тараса Шевченко,
e-mail: o.boretskyi@knu.ua.
Глыбовец Николай Николаевич,
доктор физ.-мат. наук, профессор, декан Национального университета «Киево-Могилянская
академия»,
e-mail: glib@ukma.kiev.ua.