Rozšiřování simulací v nástroji Kaira

Abstract

This bachelor thesis deals with extensit of Kaira tool. Kaira tool is designed for creating MPI applications. Programming by Kaira tool is based on creating Coloured Petri Nets. Head topic of this thesis is simulations. Simulations are parts of Kaira tool, where we simulate Kaira programs. The main content is save single actions or states of simulation. Allow the user to return to previous states. Synchronize communication user interface of simulation with generated application. And create appropriately storage for single states. Next topic is create automatically simulation. This automatically simulation will simulate without user intervention.