(2012). A Meta-model for Operational Support. BPM Center Report BPM-12-05, BPMcenter.org Nakatumba and M. Westergaard and W.M.P. van der Aalst (2012). An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. Proceedings of the 33rd International Conference on Applications and Theory of Petri Nets. Springer Vol. 7347 pp. 308-327 Nakatumba and M. Westergaard and W.M.P. van der Aalst (2012). Generating Event Logs with Workload-Dependent Speeds fro