Software

Am Fachgebiet wird die Entwicklung einiger Softwarepakete wesentlich vorangetrieben, die in vielfältigen Kontexten und Projekten eingesetzt werden können.

• TimeNET
  ist ein Werkzeug zur Modellierung und Analyse stochastischer Petrinetze.
  Es unterstützt u.a. auch die grafische Modellierung von farbigen Petrinetzen und Markovketten.
• MDE4CPP
  umfasst mehrere Teilprojekte, die Grundlagen für das Model-Driven Engineering (MDE) für die Programmiersprache C++ legen.
  Gemeinsames Ziel ist es, ausschließlich aus Modellen und der Verwendung verschiedener Generatoren vollständig lauffähige Applikationen zu erzeugen.

In der Ausbildung und Projekten sind darüber hinaus weitere Software-Werkzeuge relevant. 
Im Fachgebiet gibt es Erfahrungen u.a. mit 

• Visual Paradigm
• Matlab/Simulink
• MLDesigner