Boukelkoul S, Maamri R. A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes. J. inf. organ. sci. (Online) [Internet]. 2020 Dec. 8 [cited 2025 Mar. 29];44(2). Available from: //jios.foi.hr/index.php/jios/article/view/1320