Conformance Checking for a Medical Training Process Using Petri net Simulation and Sequence Alignment