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