@misc{indiciae63778712318f,
  title = {Bi-reachability in Petri nets with data},
  author = {Łukasz Kamiński and Sławomir Lasota},
  year = {2024},
  url = {https://arxiv.org/abs/2405.16176},
  note = {Source identifier: 2405.16176}
}