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