Software

At the group, the development of some software packages that can be used in a variety of contexts and projects is being pushed forward.

• TimeNET
  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.
• MDE4CPP
  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.

Additional software tools are also relevant in teaching and projects. 
In our group is expertise i.a. with 

• Visual Paradigm
• Matlab/Simulink
• MLDesigner