Energie- und Paritätsgewinnbedingungen auf Spielstrukturen

در زمینه شبکه‌های پتری و سیستم‌های جمع بردار، سوالات بی‌پاسخ بسیاری، اولی شلاچتر را در پایان‌نامه کارشناسی ارشد خود برانگیخت تا بازی‌هایی را بر روی ساختارهای به اصطلاح بازی با معنایی مشابه بررسی کند. این یک نوع بازی دو نفره در یک نمودار جهت دار است. نویسنده شرایط مختلف برنده را ایجاد می کند و تصمیم پذیری آنها را نشان می دهد. این کار از نظر تئوری بازی ها این موضوعات را روشن می کند، اما همچنین کاربرد نمونه ای از جنبه های مختلف نظریه بازی ها را ارائه می دهد.

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.