Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis

Wynn, M. T.; van der Aalst, Wil M. P.; ter Hofstede, A. H. M.; Edmond, D.

Berlin [u.a.] : Springer (2006)
Contribution to a book, Contribution to a conference proceedings

In: Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5 - 7, 2006 ; proceedings / Schahram Dustdar ... (eds.)
Page(s)/Article-Nr.: 389-394


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]