Extracting Event Data from Databases to Unleash Process Mining
A Region-Based Algorithm for Discovering Petri Nets from Event Logs