Lukáš Tomaszek

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:
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.
 

Klíčová slova

funkce Petriho sítě Kaira transformace moduly

Keywords

function Petri nets Kaira transformation moduls
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2013
Identifikátor: http://hdl.handle.net/10084/101075

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

  • Obhajoba proběhla 12. 8. 2013
  • 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

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Bakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.