English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

Petri games have been introduced as a multi-player game model representingcausal memory to address the synthesis of distributed systems. For Petri gameswith one environment player and an arbitrary bounded number of system players,deciding the existence of a safety strategy is EXPTIME-complete. This resultforms the basis of the tool ADAM that implements an algorithm for the synthesisof distributed controllers from Petri games. To evaluate the tool, it has beenchecked on a series of parameterized benchmarks from manufacturing and workflowscenarios. In this paper, we introduce a new possibility to represent benchmarkfamilies for the distributed synthesis problem modeled with Petri games. Itenables the user to specify an entire benchmark family as one parameterizedhigh-level net. We describe example benchmark families as a high-level versionof a Petri game and exhibit an instantiation yielding a concrete 1-boundedPetri game. We identify improvements either regarding the size or thefunctionality of the benchmark families by examining the high-level Petrigames.

High-Level Representation of Benchmark Families for Petri Games