Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira – Martin Kozubek
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 …moreAbstract:
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
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
ISO 690-compliant citation record:
KOZUBEK, Martin. \textit{Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira}. Online. Bachelor's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2014. Available from: https://theses.cz/id/9wrx0d/.
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 OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyBachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
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