Том 14 (2023) .– Выпуск 4 (59) .– Статья № 5 (431)

Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем

Научная статья

Цветные сети Петри и язык распределенного программирования 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.

© Климов Ар. В.
2023
Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4а, Институт программных систем имени А. К. Айламазяна РАН; Тел: +7(4852) 695-228 E-mail: ; Сетевой адрес издания:  http://psta.psiras.ru
© Федеральное государственное бюджетное учреждение науки Институт программных систем имени А. К. Айламазяна Российской академии наук (дизайн сайта) 2010–2024 The text of CC-BY-4.0 license