[1]
S. Boukelkoul and R. Maamri, “A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes”, JIOS, vol. 44, no. 2, Dec. 2020.