Using Petri nets to design parallel applications

S.D. Pogorilyy, D.Yu. Vitel

Abstract


A set of CAA-M schemes corresponding to the most common workflow templates has been created. This makes it possible to use both approaches in order to transform the representations of the algorithm and use their features and advantages (modelling or a set of formal transformations). Using the considered templates, a generalised Petri net of the Floyd-Warschall algorithm for a set of parallel threads is constructed. This network is valid for a number of architectures (SMP, MPP, GPGPU technology architectures: Fermi, G80), but requires some specification of its elements for each of them, which is partially considered in the paper.

Prombles in programming 2013; 2: 32-40


References


Таненбаум Э. Архитектура комп’ютера / 5-е изд. – СПб.: Питер, 2007. P. 634–667.

David B. Kirk, Wen-mei Hwu. "Programming Massively Parallel Processors: A Hands-on Approach". Published by Elsevier corp.

http://www.workflowpatterns.com/patterns/

Russell N., ter Hofstede A.H.M., van der Aalst W.M.P., Mulyar N. Workflow Control-Flow Patterns : A Revised View. BPM Center Report BPM-06-22, BPMcenter.org, 2006.

Ющенко Е.Л., Цейтлин Г.Е., Грицай В.П., Терзян Т.К. Многоуровневое структурное проектирование программ. – М.: Финансы и статистика, 1989. – 192 с.

Погорілий С.Д., Мар’яновський В.А., Бойко Ю.В., Вітель Д.Ю. Формування узагальнених паралельних схем алгоритму Флойда – Уоршала // Системні дослідження та інформаційні технології. – 2010. – № 1. – С. 52–69.

Погорілий С.Д., Трибрат М.І., Вітель Д.Ю. Дослідження паралельних версій алгоритму Флойда – Уоршала для SMP- та MPP-

архітектур. // Математичні машини і системи. – 2011. – № 4. – С. 20–30.

Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы, построение и анализ; пер. з англ. Красикова И.В., Ореховой Н.А., Романова

В.Н.; под ред. Красикова И.В. – М.: Издательский дом «Вильямс», 2005. – С. 719–725.


Refbacks

  • There are currently no refbacks.