Boukelkoul, Sofiane, and Ramdane Maamri. “A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes”. Journal of Information and Organizational Sciences 44, no. 2 (December 8, 2020). Accessed June 16, 2021. //jios.foi.hr/index.php/jios/article/view/1320.