Towards algorithmic and software solution for business process model analysis and correction. - Olha Yanholenko; Andrii Kopp; Dmytro Orlovskyi; Uliya Litvinova (MoDaST, 2024)