If you are interested in writing a thesis (Bachelor or Master/Diploma), feel free to contact any member of TGI.
We supervise thesis in the areas listed below, but if you have another interesting topic don't hesitate to ask.
Research Topics
- Language, Automata, and Complexity Theory
- Concurrency, Petri Nets, and Distributed Algorithms
- Modeling and System Design
- Organizations and business processes
- Agent Technologies
Template for Talks and Seminars [ZIP]
Guidelines for an Thesis Expose
List of recent Talks
List of recent Thesis (Selection)
-
LTL-Zustandsraumanalyse von Elementaren Objekt-Petrinetzen mit Maude.
Felix Garbe, Diplomarbeit, 2012. -
Hierarchische Workflow-Netze.
Nikolas Lohmann, Diplomarbeit, 2012. -
Werkzeugunterstützung für organisationsorientierte Modellierung in Sonar.
Jan Bolte, Bachelorarbeit, 2012. -
Entscheidbarkeitsresultate bei Petri-Netzen
mit endlichen und unendlichen Zustandsräumen.
Florian Jensen, Diplomarbeit, 2011. -
Algorithmische Betrachtung von Switching Graphs
Jan Henrik Röwekamp, Bachelorarbeit, 2011.
