2023

Lukas Zech: CTL-Model Checking mit einem modularen Zustandsraum

2022

Nicola Drüeke: LTL-Model Checking auf modularen Zustandsräumen

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