Process mining approach for the conformance checking of discrete-event simulation model | IEEE Conference Publication | IEEE Xplore