Class of Petri Nets for Modeling and Analyzing Business Processes

摘要

More firms are implementing Business Process Reengineering (BPR) and WorkflowManagement (WFM). In this paper, the authors focus on a class of Petri nets suitable for the representation, validation, and verification of these procedures. The authors will show that the correctness of a procedure represented by such a Petri net can be verified in polynomial time. Based on the result, the authors provide a comprehensive set of transformation rules which can be used to construct and modify correct procedures.