Analizar y luego automatizar: descubrir, reparar y optimizar procesos con minería de procesos