@misc{indiciae75ed57cac3ef,
  title = {Analysing Multi-Agent Systems using 1-safe Petri Nets},
  author = {Federica Adobbati and Łukasz Mikulski},
  year = {2023},
  url = {https://arxiv.org/abs/2310.19507},
  note = {Source identifier: 2310.19507}
}