Soundness Correction of Data Petri Nets. - Nikolai M. Suvorov; Irina A. Lomazova; Andrey Rivkin (CoRR, 2024)

Verification of data-aware process models: Checking soundness of data Petri nets. - Nikolai M. Suvorov; Irina A. Lomazova (J. Log. Algebraic Methods Program., 2024)

Soundness Correction of Data Petri Nets. - Nikolai M. Suvorov; Irina A. Lomazova (IEEE Access, 2025)