Petri Games: Synthesis of Distributed Systems with Causal Memory

Bernd Finkbeiner, Ernst-Rüdiger Olderog

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…