Process mining approach for the conformance checking of discrete-event simulation model

Discrete-event simulation is an effective method to reproduce the target system behavior and to investigate its mechanism. In order to grant the validity to the simulation output, the model has to show the compliance with specification and design. However, the test process to prove the validity would impose heavy workload on developers. In this paper, we introduce a new approach to prove the specification-conformance of the simulation model by using Process Mining method and attempt to alleviate the developers' workload in the test phase.