Process Mining of Mining Processes: Analyzing Longwall Coal Excavation Using Event Data | IEEE Journals & Magazine | IEEE Xplore