Von Petri-Spielen zu endlichen Automaten

dc.contributor.author	Olderog, Ernst-Rüdiger
dc.contributor.editor	Plödereder, E.
dc.contributor.editor	Grunske, L.
dc.contributor.editor	Schneider, E.
dc.contributor.editor	Ull, D.
dc.date.accessioned	2017-07-26T10:59:40Z
dc.date.available	2017-07-26T10:59:40Z
dc.date.issued	2014
dc.identifier.isbn	978-3-88579-626-8
dc.identifier.issn	1617-5468
dc.description.abstract	Gemeinsam 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.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Informatik 2014
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-232
dc.title	Von Petri-Spielen zu endlichen Automaten	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	2209-2209
mci.conference.location	Stuttgart
mci.conference.date	22.-26. September 2014