(1)
Boukelkoul, S.; Maamri, R. A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes. JIOS 2020, 44.