Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira
Loading...
Downloads
7
Date issued
Authors
Tomaszek, Lukáš
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
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.
Description
Import 21/10/2013
Subject(s)
function, Petri nets, Kaira, transformation, moduls