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

van der Aalst, Wil M. P.

Berlin ; Heidelberg / Springer (2000) [Buchbeitrag]

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

Identifikationsnummern