@misc{indiciae163bde2f07cb,
  title = {High-Level Representation of Benchmark Families for Petri Games},
  author = {Manuel Gieseking and Ernst-Rüdiger Olderog},
  year = {2019},
  url = {https://arxiv.org/abs/1904.05621},
  note = {Source identifier: 1904.05621}
}