Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F11%2F0340" target="_blank" >GAP202/11/0340: Modelování a verifikace paralelních systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2011
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings - 2011 UKSim 13th International Conference on Modelling and Simulation
ISBN
978-0-7695-4376-5
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
403 - 408
Název nakladatele
IEEE
Místo vydání
345 E 47TH ST, NEW YORK, NY 10017 USA
Místo konání akce
Cambridge
Datum konání akce
30. 3. 2011
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—