Scalable Process Discovery Using Map-Reduce · Study