High-Level Representation of Benchmark Families for Petri Games

04/11/2019
by   Manuel Gieseking, et al.
0

Petri games have been introduced as a multi-player game model representing causal memory to address the synthesis of distributed systems. For Petri games with one environment player and an arbitrary bounded number of system players, deciding the existence of a safety strategy is EXPTIME-complete. This result forms the basis of the tool ADAM that implements an algorithm for the synthesis of distributed controllers from Petri games. To evaluate the tool, it has been checked on a series of parameterized benchmarks from manufacturing and workflow scenarios. In this paper, we introduce a new possibility to represent benchmark families for the distributed synthesis problem modeled with Petri games. It enables the user to specify an entire benchmark family as one parameterized high-level net. We describe example benchmark families as a high-level version of a Petri game and exhibit an instantiation yielding a concrete 1-bounded Petri game. We identify improvements either regarding the size or the functionality of the benchmark families by examining the high-level Petri games.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/18/2021

Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)

Petri games are a multi-player game model for the synthesis problem in d...
11/30/2021

Canonical Representations for Direct Generation of Strategies in High-level Petri Games

Petri games are a multi-player game model for the synthesis of distribut...
11/29/2017

Symbolic vs. Bounded Synthesis for Petri Games

Petri games are a multiplayer game model for the automatic synthesis of ...
07/03/2003

BL-WoLF: A Framework For Loss-Bounded Learnability In Zero-Sum Games

We present BL-WoLF, a framework for learnability in repeated zero-sum ga...
06/08/2020

Metagame Autobalancing for Competitive Multiplayer Games

Automated game balancing has often focused on single-agent scenarios. In...
07/20/2021

Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory

In the synthesis of distributed systems, we automate the development of ...
07/15/2014

Strategy Synthesis for General Deductive Games Based on SAT Solving

We propose a general framework for modelling and solving deductive games...