Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86081257" target="_blank" >RIV/61989100:27240/11:86081257 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/UKSIM.2011.83" target="_blank" >http://dx.doi.org/10.1109/UKSIM.2011.83</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/UKSIM.2011.83" target="_blank" >10.1109/UKSIM.2011.83</a>
Alternative languages
Result language
angličtina
Original language name
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
Original language description
The main goal of this paper is to introduce the tool Kaira that we are developing. This tool is intended for modelling, simulation and generation of parallel applications. A developer is able to model parallel programs and different aspects of communication using Kaira. The used model is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background. We use their syntax and semantics for our model. Moreover our tool can automatically generate standalone parallel applications from the model. The parallelism of the final application is currently based on threads or MPI.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP202%2F11%2F0340" target="_blank" >GAP202/11/0340: Modelling and verification of parallel systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2011
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
Proceedings - 2011 UKSim 13th International Conference on Modelling and Simulation
ISBN
978-0-7695-4376-5
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
403 - 408
Publisher name
IEEE
Place of publication
345 E 47TH ST, NEW YORK, NY 10017 USA
Event location
Cambridge
Event date
Mar 30, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—