Petri Games: Synthesis of Distributed Systems with Causal Memory

Petri Games: Synthesis of Distributed Systems with Causal Memory

We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when they synchronize at a joint transition, each playe...

Full description

Bibliographic Details
Main Authors: Bernd Finkbeiner, Ernst-Rüdiger Olderog
Format: Article
Language:English
Published: Open Publishing Association 2014-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1406.1069v2
id doaj-ee807b5d83be42da895b352f8d5daea5
record_format Article
spelling doaj-ee807b5d83be42da895b352f8d5daea52020-11-24T21:30:53ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-08-01161Proc. GandALF 201421723010.4204/EPTCS.161.19:4Petri Games: Synthesis of Distributed Systems with Causal MemoryBernd Finkbeiner0Ernst-Rüdiger Olderog1 Universität des Saarlandes Carl von Ossietzky Universität Oldenburg We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when they synchronize at a joint transition, each player gets informed of the causal history of the other player. We show that for Petri games with a single environment player and an arbitrary bounded number of system players, deciding the existence of a safety strategy for the system players is EXPTIME-complete.http://arxiv.org/pdf/1406.1069v2
collection DOAJ
language English
format Article
sources DOAJ
author Bernd Finkbeiner
Ernst-Rüdiger Olderog
spellingShingle Bernd Finkbeiner
Ernst-Rüdiger Olderog
Petri Games: Synthesis of Distributed Systems with Causal Memory
Electronic Proceedings in Theoretical Computer Science
author_facet Bernd Finkbeiner
Ernst-Rüdiger Olderog
author_sort Bernd Finkbeiner
title Petri Games: Synthesis of Distributed Systems with Causal Memory
title_short Petri Games: Synthesis of Distributed Systems with Causal Memory
title_full Petri Games: Synthesis of Distributed Systems with Causal Memory
title_fullStr Petri Games: Synthesis of Distributed Systems with Causal Memory
title_full_unstemmed Petri Games: Synthesis of Distributed Systems with Causal Memory
title_sort petri games: synthesis of distributed systems with causal memory
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2014-08-01
description We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when they synchronize at a joint transition, each player gets informed of the causal history of the other player. We show that for Petri games with a single environment player and an arbitrary bounded number of system players, deciding the existence of a safety strategy for the system players is EXPTIME-complete.
url http://arxiv.org/pdf/1406.1069v2
work_keys_str_mv AT berndfinkbeiner petrigamessynthesisofdistributedsystemswithcausalmemory
AT ernstrudigerolderog petrigamessynthesisofdistributedsystemswithcausalmemory
_version_ 1725961246696538112

Similar Items