2024/10/28 by Nikolai M. Suvorov, Suvorov, Nikolai M., Irina A. Lomazova +3
Business, Management and Accounting · Computer Science · Decision Sciences · #Business Process Modeling and Analysis #Data Quality and Management #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling
paper · pdf · doi:10.48550/arxiv.2410.21188
openalex publication_date 2024/10/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A process model is called sound if it always terminates properly and each model activity can occur in a process instance. Conducting soundness verification right after process design allows one to detect and eliminate design errors in a process to be implemented. The process of eliminating such errors is called soundness repair. In many repair scenarios, the resulting model should retain only the correct behavior of the source model, especially if a model is created manually. In this paper, we consider this type of soundness repair applied to data-aware process models represented as data Petri nets (DPNs). Specifically, we investigate the capabilities to repair soundness of DPNs by restricting the transition guards and propose a new repair algorithm that follows this approach. A distinctive feature of the algorithm is the absence of a requirement for an input DPN to have a sound control flow. The algorithm is implemented and results of the preliminary evaluation demonstrate its applicability to process models of moderate sizes.