research
∙
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...
share
research
∙
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 ...
research
∙
03/29/2021
A Web Interface for Petri Nets with Transits and Petri Games
Developing algorithms for distributed systems is an error-prone task. Fo...
research
∙
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...
research
∙
07/14/2020
Model Checking Branching Properties on Petri Nets with Transits (Full Version)
To model check concurrent systems, it is convenient to distinguish betwe...
research
∙
05/14/2020
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)
The correctness of networks is often described in terms of the individua...
research
∙
07/25/2019
Model Checking Data Flows in Concurrent Network Updates (Full Version)
We present a model checking approach for the verification of data flow c...
research
∙
04/11/2019
High-Level Representation of Benchmark Families for Petri Games
Petri games have been introduced as a multi-player game model representi...
research
∙
11/29/2017