Verification of Workflow Nets

van der Aalst, Wil M. P.

Berlin ; Heidelberg / Springer (1997, 2005) [Buchbeitrag, Beitrag zu einem Tagungsband]

Application and theory of Petri Nets 1997 : 18th international conference, ICATPN '97, Toulouse, France, June 23 - 27, 1997 ; proceedings / Pierre Azéma ... (eds.)
Seite(n): 407-426

Identifikationsnummern