Verification of Workflow Nets

Abstract. 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.

• Type: Conference
• Year: 1997
• Where: APN
• Authors: Wil M. P. van der Aalst
• Keywords: APN 1997, Artificial Intelligence, Future Information Systems, Petri Net, Workflow Management System