@misc{indiciae67bbb73fa854,
  title = {Formal Translation from Reversing Petri Nets to Coloured Petri Nets},
  author = {Kamila Barylska and Anna Gogolinska and Lukasz Mikulski and Anna Philippou and Marcin Piatkowski and Kyriaki Psara},
  year = {2023},
  url = {https://arxiv.org/abs/2311.00629},
  note = {Source identifier: 2311.00629}
}