Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем
Научная статья
Цветные сети Петри и язык распределенного программирования UPL: их сравнение и перевод
Аркадий Валентинович Климов
Институт проблем проектирования в микроэлектронике РАН | |
arkady.klimov@gmail.com |
Аннотация. Сети Петри широко используются как средство моделирования распределенных мультиагентых систем. Существуют инструменты работы с расширенными сетями Петри, в которых токены нагружены произвольными данными. В частности, CPN Tools позволяет описывать, проигрывать и исследовать цветные сети Петри (Coloured Petri Nets, CPN). Ставится вопрос о возможности использовать этот инструмент для разработки, прототипирования и исследования параллельных распределенных вычислительных алгоритмов, в идеале — превращения их в работающие эффективные параллельные программы. У нас есть опыт экспериментального программирования разных алгоритмов в нашем графическом языке UPL, который пока существует как бы «на бумаге». Его сравнение с CPN показывает, что в их семантиках много общего. В статье оба языка определяются, сравниваются на примерах и через правила перевода из одного в другой. Также описываются средства управления распределением вычислений для UPL. Интересен вопрос об их переносе в CPN, где им пока аналога нет.
Ключевые слова: сети Петри, цветные сети Петри, параллельное программирование, потоковая модель вычислений, граф алгоритма, графическое программирование, язык UPL, функция распределения
Благодарности: Работа поддержана ИППМ РАН
Для цитирования: Климов Ар. В. Цветные сети Петри и язык распределенного программирования UPL: их сравнение и перевод // Программные системы: теория и приложения. 2023. Т. 14. № 4. С. 91–122. https://psta.psiras.ru/2023/4_91-122.
Полный текст статьи (PDF): https://psta.psiras.ru/read/psta2023_4_91-122.pdf.
Статья поступила в редакцию 24.10.2023; одобрена после рецензирования 26.11.2023; принята к публикации 26.11.2023; опубликована онлайн 14.12.2023.