Workload-aware Business Process Simulation with Statistical Service Analysis and Timed Petri Net · Study