ProM: The Process Mining Toolkit
application of process mining in healthcare - a case study in a dutch hospital .