About: Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. 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)
Title	Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications (en)
skos:prefLabel	Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications (en)
skos:notation	RIV/61989100:27240/11:86081257!RIV13-GA0-27240___
http://linked.open...avai/predkladatel	Fakulta elektrotechniky a informatiky
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GAP202/11/0340)
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Böhm, Stanislav Běhálek, Marek
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	207022
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/11:86081257
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	simulation; modelling; high level tool; code generation; Coloured Petri Nets (en)
http://linked.open.../riv/klicoveSlovo	code generation modelling simulation Coloured Petri Nets high level tool
http://linked.open...ontrolniKodProRIV	[756B984A656E]
http://linked.open...v/mistoKonaniAkce	Cambridge
http://linked.open...i/riv/mistoVydani	345 E 47TH ST, NEW YORK, NY 10017 USA
http://linked.open...i/riv/nazevZdroje	Proceedings - 2011 UKSim 13th International Conference on Modelling and Simulation
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Modelling and verification of parallel systems
http://linked.open...UplatneniVysledku	2011
http://linked.open...iv/tvurceVysledku	Böhm, Stanislav Běhálek, Marek
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2011-03-30 (xsd:date)
number of pages	6 (xsd:int)
http://bibframe.org/vocab/doi	10.1109/UKSIM.2011.83
http://purl.org/ne...btex#hasPublisher	IEEE
https://schema.org/isbn	978-0-7695-4376-5
http://localhost/t...ganizacniJednotka	27240
is http://linked.open...avai/riv/vysledek of	Kaira: Modelling and Generation Tool Based on Petri Nets for Parallel Applications

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 44 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software