10 citations · 17 across the 9 of their papers we have counts for
Showing cs.GTShow all
3 papers · 1 filter
cs.GT2021
Canonical Representations for Direct Generation of Strategies in High-level Petri Games
Manuel Gieseking, Nick Würdemann
Petri games are a multi-player game model for the synthesis of distributed systems with multiple concurrent processes based on Petri nets. The processes are the players in the game…
cs.GT2021★ 1 cited
Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)
Manuel Gieseking, Nick Würdemann
Petri games are a multi-player game model for the synthesis problem in distributed systems, i.e., the automatic generation of local controllers. The model represents causal memory…
cs.GT2019
High-Level Representation of Benchmark Families for Petri Games
Manuel Gieseking, Ernst-Rüdiger Olderog
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 playe…