Process mining for semantic business process modeling · Study