Software with own development
At the group, the development of some software packages that can be used in a variety of contexts and projects is being pushed forward.
is a tool for the modelling and analysis of stochastic Petri nets.
Among other things, it also supports the graphic modeling of colored Petri nets and Markov chains.
comprises several sub-projects that lay the foundations for model-driven engineering (MDE) for the C ++ programming language.
The common goal is to create fully executable applications exclusively from models and the use of different generators.
Further software in teaching and projects
Additional software tools are also relevant in teaching and projects.
In our group is expertise i.a. with