Correlation Mining: Mining Process Orchestrations Without Case Identifiers · Study