A. Kopp, D. Orlovskyi, and U. Litvinova, “DEVELOPMENT AND RESEARCH OF SOFTWARE SOLUTION FOR BUSINESS PROCESS MODEL CORRECTNESS ANALYSIS USING MACHINE LEARNING”, SACIT, no. 1 (11), pp. 39–46, Jul. 2024.