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…