Implementace transformací modelů postavených na Petriho sítích v nástroji 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.

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.