A framework for simulation-based optimization of business process models · Study