Event abstraction in process mining: literature review and taxonomy · Study