Lukáš Tomaszek

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:
Tato bakalářská práce se zabývá rozšířením nástroje Kaira o možnost transformací pomocí modulů. Hlavně pak transformací modulů jako funkce s automatickým ukončením a funkce ukončené uživatelem.
Abstract:
This thesis is about extension of the tool Kaira, about posibility to transformed nets using moduls. Especially the transformation modules as a function with automatic end and function end by user.
 
 
Language used: Czech
Date on which the thesis was submitted / produced: 7. 5. 2013

Thesis defence

  • Date of defence: 12. 8. 2013
  • Supervisor: Marek Běhálek
  • Reader: Ondřej Meca

Citation record

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

VŠB - Technical University of Ostrava

Fakulta elektrotechniky a informatiky

Bachelor programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika