Semantics-based event log aggregation for process mining and analytics · Study