A Structural Approach to Dynamic Migration in Petri Net Models of Structured Workflows