A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

This paper presents a DSDEVS-based model “Dynamic Structure Discrete Event System specification” for modeling and simulating business processes with dynamic structure regarding to different contexts. Consequently, this model, formally, improves the reuse of configurable business processes. Thus, the proposed model allows the analysts to personalize their configurable business processes in a sound manner by verifying a set of structure properties, such as, the lack of synchronization and the deadlock by means of simulation. The implementation was done in DEVS-Suite simulator, which is based on DEVSJAVA models

Manufacturing and logistics use cases on Ccombining discrete event simulation and process mining

This paper provides an overview on two approaches to combine processmining and discrete-event simulation in manufacturing and logistics for mutual benefit. One approach focuses on generating simulation models based on process models, while the other approach utilizes process models to validate existing simulation models. Both approaches are explained on a conceptual and technical level. In addition, two real-world use cases from the field of intralogistics and from battery cell assembly are presented. Initial experiences and lessons learned from applying the approaches to the use cases are discussed. The findings illustrate the potential and the limitations of the explored combinations