Reduction rules for YAWL workflows with cancellation regions and OR-joins.

Moe Thandar Wynn H. M. W. (Eric) Verbeek Wil M. P. van der Aalst Arthur H. M. ter Hofstede David Edmond Reduction rules for YAWL workflows with cancellation regions and OR-joins. 1010-1020 2009 51 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2008.12.002 db/journals/infsof/infsof51.html#WynnVAHE09