Usage of petri nets for high performance computing
The result's identifiers
Result code in 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>
Alternative codes found
RIV/61989100:27740/12:86084661
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Usage of petri nets for high performance computing
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
FHPC'12 - Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing
ISBN
978-1-4503-1577-7
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
37-48
Publisher name
ACM
Place of publication
New York
Event location
Kodaň
Event date
Sep 15, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—