Moe Thandar Wynn Wil M. P. van der Aalst Arthur H. M. ter Hofstede David Edmond Synchronization and Cancelation in Workflows Based on Reset Nets. 63-114 2009 18 Int. J. Cooperative Inf. Syst. 1 http://dx.doi.org/10.1142/S0218843009002002 db/journals/ijcis/ijcis18.html#WynnAHE09