Martin Kozubek

Bachelor's thesis

Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira

Implementation of Transformations of Petri Nets Based Models in a Tool Kaira
Abstract:
Kaira je vývojové prostředí určené k modelování paralelních-distribuovaných aplikací. Modelování je postaveno na barevných Petriho sítích a z těchto modelů umí Kaira vygenerovat aplikaci v jazyce C++ využívající MPI. Hlavní náplní tohoto textu je rozšíření modelu o novou konstrukci, umožňující vkládání podsítě(modulu) do přechodu v hlavní síti. Nástroj bude model automaticky transformovat, tak aby …more
Abstract:
Kaira is a development tool designed for modelling of parallel-distributed applications. Models are based on Coloured Petri Nets. Kaira is able to generate C++, MPI application based on these models. The main scope of this text is expanding the model by new structure, allowing insertion of the subnet(module) to the transition in the main net. The tool will automatically transform the model so that …more
 

Keywords

paralelní programování Kaira barevné Petriho sítě modelování automatická transformace

Keywords

concurrent programming Kaira Coloured Petri Nets modelling automatic transformation
 
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2014
Identifier: http://hdl.handle.net/10084/103985

Thesis defence

  • Date of defence: 3. 6. 2014
  • Supervisor: Marek Běhálek
  • Reader: Ondřej Meca

Citation record

Cite this text

Full text of thesis

Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB - Technická univerzita Ostrava