BOUKELKOUL, S.; MAAMRI, R. A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes. Journal of Information and Organizational Sciences, v. 44, n. 2, 8 dez. 2020.