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

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

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]