Титульная страница
English version
Программные системы:
 теория и приложения 
 ISSN 2079-3316
12+ 
Двуязычный электронный научный Электронный научный журнал Института программных систем имени А. К. Айламазяна ИПС им. А. К. Айламазяна ИПС Российской Академии Наук РАН
Том 14 (2023) .– Выпуск 4 (59) .– Статья № 5 (431)

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

Научная статья
УДКУниверсальная десятичная классификация 004.432.4УДК 004: Информационные технологии. Компьютерные технологии. Теория вычислительных машин и систем УДК 004.432: Языки высокого уровня УДК 004.432.4: Непроцедурные языки. Декларативные языки
ББКБиблиотечно-библиографическая классификация 32.971.321.1: 32.972.5ББК 32: Радиоэлектроника ББК 32.971: Аппаратные средства ББК 32.971.321: Универсальные компьютеры ББК 32.971.321.1: Суперкомпьютеры ББК 32.972: Программные средства (программное обеспечение) ББК 32.972.5: Программное обеспечение компьютерных сетей
ГРНТИГосударственный рубрикатор научно-технической информации 50.07.05ГРНТИ 50: АВТОМАТИКА. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА ГРНТИ 50.07: Теоретические основы вычислительной техники ГРНТИ 50.07.05: Теория вычислительных систем высокой производительности
DOIЦифровой идентификатор интернет-объекта 10.25209/2079-3316-2023-14-4-91-122

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