关键词: PetriNet, P/T_系统, 工作流, 业务流程再造, 计算机支持协同工作

Abstract: According to the PetriNet theory, a new workflow model and algorithm based on expanded P/T_system are presented, and the conditions to ensure correctness of workflow are proved. Because the flow relations of the model have the logic judgment ability and the workflow control is realized by relevant data in resources, the problems of conflict and firable judgment in workflow are solved and the performance of workflow is improved. The example shows that it is easy to realize the consistency between business process and workflow model.

Key words: PetriNet, P/T_system, workflow, business process reengineering, computer supported cooperative work