Workload-aware Business Process Simulation with Statistical Service Analysis and Timed Petri Net | IEEE Conference Publication | IEEE Xplore