"345 E 47TH ST, NEW YORK, NY 10017 USA" . . "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."@en . "978-0-7695-4376-5" . "IEEE" . . "P(GAP202/11/0340)" . "2"^^ . . . "Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications" . . "simulation; modelling; high level tool; code generation; Coloured Petri Nets"@en . "2011-03-30+02:00"^^ . "27240" . "Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications"@en . "10.1109/UKSIM.2011.83" . . . "Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications" . . . . . "6"^^ . "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." . "B\u011Bh\u00E1lek, Marek" . "[756B984A656E]" . "RIV/61989100:27240/11:86081257" . "207022" . . . "RIV/61989100:27240/11:86081257!RIV13-GA0-27240___" . . "Proceedings - 2011 UKSim 13th International Conference on Modelling and Simulation" . "Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications"@en . . . "Cambridge" . . . "B\u00F6hm, Stanislav" . "2"^^ . . .