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) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Identifikationsnummern