Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira – Martin Kozubek
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íceAbstract:
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
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
Citace dle ISO 690:
KOZUBEK, Martin. \textit{Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira}. Online. Bakalářská práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2014. Dostupné z: https://theses.cz/id/9wrx0d/.
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 OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Zvýšení bezpečnosti aplikací na čipových kartách s využitím automatické transformace
Tobiáš Smolka -
Interpret podtřídy barvené Petriho sítě
Petr Nejman -
Návrh simulačního modelu řízení provozu v železniční stanici pomocí barevných Petriho sítí
Pavel VLASÁK -
Odhad teoretické kapacity vzletové a přistávací dráhy pomocí barevných Petriho sítí
David Rozhon -
Návrh simulačního modelu silniční dopravy pomocí barvených Petriho sítí
Ondřej POKORNÝ -
Výpočet stavového prostoru podtřídy barvené Petriho sítě
Jiří Engliš -
Analýza distribuovaných algoritmů pomocí Petriho sítí
Tomáš Jankovský -
Generating Petri Nets for Reliability Analysis of Smart Grids From UML Diagrams
Ondřej Marek