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