@misc{indiciae941d4bd05efe,
  title = {Asynchronous games on Petri nets and ATL},
  author = {Federica Adobbati and Luca Bernardinello and Lucia Pomello},
  year = {2021},
  url = {https://arxiv.org/abs/2107.06866},
  note = {Source identifier: 2107.06866}
}