Research on Petri Net Based Modeling and Analyzing methods for Workflow Process

摘要

Workflow management is an important aspect in CSCW at present. The elementary knowledge of workflow process is introduced, the Petri nets based process modeling methodology and basic definitions are pro- vided, and the analysis and verification of structural and behavioral correctness of workflow process are dis- cussed. Finally, the algorithm of verification of process definitions is proposed.