Usage of petri nets for high performance computing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86084661" target="_blank" >RIV/61989100:27240/12:86084661 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989100:27740/12:86084661

Výsledek na webu

<a href="http://dx.doi.org/10.1145/2364474.2364481" target="_blank" >http://dx.doi.org/10.1145/2364474.2364481</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/2364474.2364481" target="_blank" >10.1145/2364474.2364481</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Usage of petri nets for high performance computing

Popis výsledku v původním jazyce

Petri nets are a well established graphical and mathematical modelling language for a description of concurrent systems. The main scope of this paper is to present our approach how to use Petri nets for high-performance computing. They are rarely used inthis area. As a proof of concept, we are developing a tool Kaira. The modelling language in the tool is based on our extension of Coloured Petri Nets. The basic concept is to use a visual language to model parallel behaviour and communication. Sequential parts of a program are written in C/C++. In contrast to other Petri Nets based tools, Kaira is not intended only for modelling and simulation, but it can also generate standalone parallel applications from models. Generated applications use MPI and threads. This paper also presents new Kaira's features including modules for computations on structured objects, more controllable semantics of mapping to MPI processes and a support for the hybrid computing.

Název v anglickém jazyce

Usage of petri nets for high performance computing

Popis výsledku anglicky

Petri nets are a well established graphical and mathematical modelling language for a description of concurrent systems. The main scope of this paper is to present our approach how to use Petri nets for high-performance computing. They are rarely used inthis area. As a proof of concept, we are developing a tool Kaira. The modelling language in the tool is based on our extension of Coloured Petri Nets. The basic concept is to use a visual language to model parallel behaviour and communication. Sequential parts of a program are written in C/C++. In contrast to other Petri Nets based tools, Kaira is not intended only for modelling and simulation, but it can also generate standalone parallel applications from models. Generated applications use MPI and threads. This paper also presents new Kaira's features including modules for computations on structured objects, more controllable semantics of mapping to MPI processes and a support for the hybrid computing.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

FHPC'12 - Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing

ISBN

978-1-4503-1577-7

ISSN

—

e-ISSN

—

Počet stran výsledku

11

Strana od-do

37-48

Název nakladatele

ACM

Místo vydání

New York

Místo konání akce

Kodaň

Datum konání akce

15. 9. 2012

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—