Masterarbeiten

2022

Chris Röhrs

Automatische Modularisierung für Petrinetze

2020

Sophie Wallner

Abstraktion und Abstraktionsverfeinerung für Petrinetze mit Hilfe der Skelettnetzabstraktion

2018

Julian Gaede

Optimising a Petri Net synthesis algorithm

2014

Jörn Wiebring

Untersuchung des Verständnisses unterschiedlicher Prozessnotationen in der Energiebranche und die Auswirkungen auf die Projektierung eines unternehmensweiten Modellierungstools

Alexander Zinman

Zum Efficient Domination Problem auf einigen Graphenklassen

Sebastian Nähring

Functions on solutions – Language extension of ML-Rules

2013

Lydia Harm

Referenzprozessentwicklung in der industriellen Praxis am Beispiel der Projektadministration in Förderprogrammen

Denny Meyer

Geschäftsprozessanalyse als Mittel zur Bewertung organisatorischer Veränderungen

Mark Hansen

Entwicklung eines Methodenhandbuchs für die Prozessmodellierung am Beispiel der SIV.AG

Andre Moelle

Distributed Computation of Symmetrically Reduced State Spaces

2011

Martin Koth

Unternehmensmodellierung in der industriellen Praxis – Aufwand und Qualität