@misc{indiciae81d3865711fd,
  title = {Encoding Petri Nets into CCS (Technical Report)},
  author = {Benjamin Bogø and Andrea Burattin and Alceste Scalas},
  year = {2024},
  url = {https://arxiv.org/abs/2404.14385},
  note = {Source identifier: 2404.14385}
}