2023

Marlene Schultz:  Ausnutzung spezieller Modulstrukturen bei der modularen Erreichbarkeitsanalyse für Petrinetze

2022

Nick Kotsakidis: Aufbau eines modularen Zustandsraumes für ein modularisiertes Petrinetz

2021

Lukas Zech: SAT-basierte Erreichbarkeitsanalyse von Petrinetzen

Chris Roehrs: Entfaltung gefärbter Petrinetze durch Aufspaltung von Transitionen

Andreas Kübrich:Optimiertes Scheduling für Portfolio-Verifikation

2019

Sophie Wallner: Lösung Linear-Algebraischer Probleme für Petri-Netze mit Hilfe von SAT-Checkern

2018

Julian Gaede: SAT-basierte Verifikation von Petrinetzen

Tom Meyer: Parallele Zustandsraumsuche

2014

Tim Kopplow: Erstellung eines Rahmenwerks für die Einführung eines Geschäftsprozessmanagementwerkzeugs

Christian Sura: Rücktransformation von Zeugenpfaden in reduzierten Petrinetzen

Denny Meyer: Nutzungspotenziale von Semantischen Technologien in Klein- und Mittelständischen Unternehmen

Philipp Lebrenz: Über die Erkennung von Probe-Graphen von Basisklassen perfekter Graphen

2013

Sascha Lamp: Selektive Speicherung von Zuständen auf Basis von Transitionsinvarianten in Petrinetzen

2011

Sebastian Gaul: Objekt-oriented design and implementation of a graphical user interface that enables control and visualization of concurrent perioperative processes in an operating clinical facility under special consideration of ergonomic aspects and its expected inter-professional use

Martin Nyolt: Modellierung artefaktzentrierter Geschäftsprozesse