TY  - RPRT
TI  - Soundness Correction of Data Petri Nets
AU  - Nikolai M. Suvorov
AU  - Irina A. Lomazova
AU  - Andrey Rivkin
PY  - 2025
UR  - https://arxiv.org/abs/2410.21188
ID  - 2410.21188
ER  -