Pranevičius, Henrikas, and Regina Misevičienė. “Verification of Business Process Workflows”. Technological and Economic Development of Economy 18, no. 4 (December 20, 2012): 623-635. Accessed September 20, 2024. https://ijspm.vgtu.lt/index.php/TEDE/article/view/4727.