Implementace knihoven pro nástroj Kaira

Abstract

This work is focused on expansion tool KAIRA (http://verif.cs.vsb.cz/kaira/), which is available as open-source under GPL (GNU General Public License). The goal of my work is create library that contains named modules with specific functions and focus on the issues about parallel programing from the perspective of visual draft.

The main benefit of my work is effort to minimize situations with which the programmer encounters during construction a visual model, when there is the fact, the programmer is forced to re-create already had formed part of the solution, sequences places, edges and transitions, which reduces its effectiveness in solving the problem.