Paper Info
Title
Usage of petri nets for high performance computing
Abstract
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 in this 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.
Year
DOI
Venue
2012
10.1145/2364474.2364481
FHPC@ICFP
Field
DocType
Citations 
Kaira,Visual language,Petri net,Programming language,Supercomputer,Computer science,Thread (computing),Process architecture,Theoretical computer science,Proof of concept,Semantics
Conference
3
PageRank 
References 
Authors
0.46
8
2
Name
Order
Citations
PageRank
Stanislav Böhm1508.69
marek bĕhalek2203.91