Accurate and efficient discovery of process models from event logs

Completed under a Cotutelle arrangement between the University of Melbourne and University of Tartu