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