Human resource allocation in business process management and process mining · Study