• Selbstberdeckende Bume
  
• Eigenschaften von Gewinnstrategien
  
• Reduktion von Gewinnbedingungen
  
• Entscheidungsalgorithmen
  

• Dozierende und Studierende der Informatik sowie Wissenschaftler im Bereich der Spieltheorie
  
• Informatiker mit Bezug zur Spieltheorie

Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungekl rt, die Uli Schlachter in seiner Masterarbeit motiviert haben, Spiele auf sogenannten Spielstrukturen mit einer hnlichen Semantik zu untersuchen. Hierbei handelt es sich um eine Art von Zwei-Spieler-Spielen auf einem gerichteten Graphen. Der Autor erarbeitet verschiedene Gewinnbedingungen und zeigt ihre Entscheidbarkeit. Die Arbeit beleuchtet diese Themen spieltheoretisch, bietet aber auch eine exemplarische Anwendung verschiedener Aspekte der Spieltheorie.