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.
