Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques

van der Aalst, Wil M. P.

Berlin ; Heidelberg : Springer (2000)
Buchbeitrag

In: Business Process Management : Models, Techniques, and Empirical Studies / edited by Wil Aalst, Jörg Desel, Andreas Oberweis
Seite(n)/Artikel-Nr.: 161-183

Einrichtungen

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