@misc{indiciaea479a4098c37,
  title = {Canonical Representations for Direct Generation of Strategies in High-level Petri Games (Full Version)},
  author = {Manuel Gieseking and Nick Würdemann},
  year = {2021},
  url = {https://arxiv.org/abs/2103.10207},
  note = {Source identifier: 2103.10207}
}