Projekte

AG Lautenbach: aktuelle Projekte

Formal basierte Modellierung komplexer Systeme

Bei der Modellierung von Systemen aus den Ingenieur- und Lebenswissenschaften stehen jeweils unterschiedliche Aspekte im Vordergrund. So können objektorientierte Strukturierung, zeitliches Verhalten, stochastische Vorgänge sowie diskrete, kontinuierliche und hybride Betrachtungen eine Rolle spielen. Forschungsziel der Arbeitsgruppe in diesem Projekt ist die Untersuchung, in wie weit sich diese Konzepte in Petri-Netzen adäquat abbilden und geeignet kombinieren lassen. Die praktische Anwendbarkeit wird dabei stets als Qualitätskriterium betrachtet und wurde in der Vergangenheit durch eine Zusammenarbeit mit dem Institut für Verkehrssicherheit und Automatisierungstechnik an der Technischen Universität Braunschweig, der Technischen Universität Cottbus und der RWTH Aachen gewährleistet.