petri net transformations for business processes - a survey .
The ProM framework: A new era in process mining tool support