Use of rrocess mining to verify and validate simulation models in production and logistics

Verification and validation (V&V) are imperative to ensure the success of a simulation study but are often insufficiently considered in practice due to the effort associated with V&V-activities. This contribution discusses the application of process mining techniques to check the validity of discrete event simulation models in production and logistics. For this purpose, we present a morphological box which highlights the scope of process mining in the context of V&V for simulation models and distinguishes between different V&V items, aspects of validity, and V&Vcriteria. Subsequently, the paper describes how a real system can be related to the behaviour of a simulation model and presents two scenarios for process miningsupported V&V using a reference example

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