@misc{indiciae33209694aa49,
  title = {Soundness Correction of Data Petri Nets},
  author = {Nikolai M. Suvorov and Irina A. Lomazova and Andrey Rivkin},
  year = {2025},
  url = {https://arxiv.org/abs/2410.21188},
  note = {Source identifier: 2410.21188}
}