Abschlussarbeiten bei TGI

Wenn Sie Interesse haben, bei TGI eine Abschlussarbeit zu schreiben (Bachelor oder Master/Diplom), dann sprechen Sie bitte einen Mitarbeiter oder Professor darauf an.

Normalerweise betreuen wir Arbeiten in unseren Forschungsgebieten, aber wenn Sie ein spannendes Thema haben, dann zögern Sie nicht, zu uns zu kommen.

Als Hilfe für Ihre Arbeit:

• Muster für Seminarvorträge und Hausarbeiten [ZIP]
• Richtlinien für das Verfassen eines Exposes

Liste vergangener Arbeiten (Auswahl)

Die folgenden Arbeiten wurden von Mitgliedern der Arbeitsgruppe betreut. Bei Interesse können die Arbeiten in der Bibliothek eingesehen werden.

• Model checking for safe Petri nets and EOS
  Niklas Steenfatt, Bachelorarbeit, 2015.
• Algorithmen für Paritätsspiele
  Arne Schröder, Masterarbeit, 2014.
• About the Emptiness Problem in LTL and CTL Model Checking
  Jennifer Truong, Bachelorarbeit, 2014.
• Productautomata in the context of LTL and CTL Model Checking
  Paula Rachow, Bachelorarbeit, 2014.
• Translating Formula to Automata for LTL and CTL Model Checking
  Felix Wiedemann, Bachelorarbeit, 2014.
• Zu ω-Automaten und zur Komplementierung von Büchi-Automaten.
  Felix Riegler, Bachelorarbeit, 2013.
• Darstellung des Forschungsstandes zu Petrinetzmodifikationen in Bezug auf den Erhalt von Netzeigenschaften.
  Felix Kiehn, Bachelorarbeit, 2013.
• Färbbarkeit bei Graphen und Switching Graphen.
  Bianca Noack, Bachelorarbeit, 2013.
• 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.