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 ...
share
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