Verification of Workflow Nets

van der Aalst, Wil M. P.

Berlin ; Heidelberg : Springer (1997, 2005)
Contribution to a book, Contribution to a conference proceedings

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