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

Identifikationsnummern