Boukelkoul, Sofiane, and Ramdane Maamri. 2020. “A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes”. Journal of Information and Organizational Sciences 44 (2). https://doi.org/10.31341/jios.44.2.4.