Abstract: Workflow management technology is the core technology to realize business process reengineering,process management and process automation.In the workflow reference model,workflow verification and optimization are two key segments of process definition tool.After reviewing related research papers,on the foundation of the classical Petri net theory,the Petri net-based algorithm for verifying the sound of workflow processes and process optimization are proposed.Optimization of insurance claim process as an example verifies the validity of the process optimization algorithm.

Key words: workflow management, Petri net, verification, optimization