Würdemann, Nick (2024) Taking Synthesis of Distributed Systems via Petri Games to High Level, Symbolically. PhD, Universität Oldenburg.