Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4950721 | Information and Computation | 2017 | 23 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Bernd Finkbeiner, Ernst-RĂ¼diger Olderog,