Equivalence for example preserves task instances such that a user who is working on a task is not interrupted by the process instance being migrated.