Olderog, Ernst-RüdigerPlödereder, E.Grunske, L.Schneider, E.Ull, D.2017-07-262017-07-262014978-3-88579-626-8Gemeinsam mit Bernd Finkbeiner, Universität des Saarlandes, führen wir Petri-Spiele als einen neuartigen Spiele-Typ mit unvollständiger Information ein. Die einzelnen Spieler sind in System- und Umgebungsspieler unterteilt und werden durch Token im Petri-Netz dargestellt. Die Spieler kennen die Zustände der anderen Spieler nicht, es sei denn, sie kommunizieren miteinander. Dann wird maximal die gesamte kausale Vergangenheit ausgetauscht. Das Ziel der Systemspieler ist es, unabhängig von der Umgebung gewisse unsichere Zustände zu vermeiden.deText/Conference Paper1617-5468