Correct propagation of process type changes to long-running process instances and the capability to perform ad-hoc-modifications of individual process instances are essential requirements for any process management software. In particular, in many cases it becomes necessary to propagate process type changes to individually modified process instances as well. In doing so, one must not only enabl...