Verification of Workflow Nets

van der Aalst, Wil M. P.

Berlin ; Heidelberg : Springer (1997, 2005)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 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)/Artikel-Nr.: 407-426