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.