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…