Abstract: We present a new region-based approach to process discovery using prime event structures as an intermediate model. We use the prime event structure to generate precise models of the most ...