Implementace transformací modelů postavených na Petriho sítích v nástroji Kaira

Abstract

Kaira is a development tool designed for modelling of parallel-distributed applications. Models are based on Coloured Petri Nets. Kaira is able to generate C++, MPI application based on these models. The main scope of this text is expanding the model by new structure, allowing insertion of the subnet(module) to the transition in the main net. The tool will automatically transform the model so that it only contains the basic structural elements, but that it keeps the desired behavior.