一种基于Petri网的动态流程设计模型

A Dynamic Process Design Model Based on Petri Net

通过对工作流本质的讨论和对目前流行的工作流产品的分析,提出了将控制逻辑分解成路由逻辑与业务逻辑的思想,进一步将工作流管理系统分离成路由子系统和业务子系统。在Petri网的基础上提出了一种称作路由/业务网(R/B-net)的工作流模型,并给出了基于R/B-net的工作流建模过程。设置在路由模型中的前导业务关火原则和后继业务点火原则是为了分离了工作流引擎职责,流程的执行就是控制权在两个子系统之间的转移。

By discussing on the essence of workflow and analyzing of the currently popular workflow products,this paper proposes a new view that the control logic should be further separated into routing logic and business logic,the workflow management system further separated into routing subsystem and business subsystem.A Routing/Business net（R/B-net） based on the Petri net and the modeling process by using R/B-net for workflow is proposed.The precedent business shut-rule and the successive business fire-rule set in routing model can be used to separate the responsibilities of the workflow engine.Actually the implementation of process is the control transfer between the two subsystems.