S. Boukelkoul and R. Maamri, “A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes”, J. inf. organ. sci. (Online), vol. 44, no. 2, Dec. 2020.