Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 389-394, Springer, 2006. [doi]

This author has not been identified. Look up 'Moe Thandar Wynn' in GoogleIdentified as Wil M. P. van der Aalst This author has not been identified. Look up 'Arthur H. M. ter Hofstede' in GoogleThis author has not been identified. Look up 'David Edmond' in Google

runs on WebDSL