Martin Kozubek

Bakalářská práce

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
Anotace:
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 …více
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 …více
 

Klíčová slova

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

Keywords

concurrent programming Kaira Coloured Petri Nets modelling automatic transformation
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2014
Identifikátor: http://hdl.handle.net/10084/103985

Obhajoba závěrečné práce

  • Obhajoba proběhla 3. 6. 2014
  • Vedoucí: Marek Běhálek
  • Oponent: Ondřej Meca

Citační záznam

Citovat tuto práci

Plný text práce

Právo: 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.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita Ostrava