Boukelkoul, S.; Maamri, R. A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes. J. inf. organ. sci. (Online) 2020, 44.