Verifying workflows with cancellation regions and OR-joins door A.H.M. ter Hofstede, H.M.W. Verbeek & W.M.P. van der Aalst