1. Discovering Branching Conditions from Business Process Execution Logs Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos University of Tartu, Estonia (Joint…