Verification of workflow nets

  • W. M. P. van der Aalst
Regular Papers

DOI: 10.1007/3-540-63139-9_48

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1248)
Cite this paper as:
van der Aalst W.M.P. (1997) Verification of workflow nets. In: Azéma P., Balbo G. (eds) Application and Theory of Petri Nets 1997. ICATPN 1997. Lecture Notes in Computer Science, vol 1248. Springer, Berlin, Heidelberg


Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main issues when introducing a workflow management system. In this paper we focus on a class of Petri nets suitable for the representation, validation and verification of these procedures. We will show that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques. Based on this result we provide a comprehensive set of transformation rules which can be used to construct and modify correct procedures.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • W. M. P. van der Aalst
    • 1
  1. 1.Eindhoven University of TechnologyMB, EindhovenThe Netherlands

Personalised recommendations