一种基于Petri网的审批业务工作流模型

在给出审批业务形式化定义的基础上,针对审批动态行为过程提出了一个形式化模型EABWF net。与传统的面向过程的建模方式不同,该模型以审批角色为中心,以消息为流转机制,以规则为流程控制逻辑。该模型克服了传统建模方式在审批业务工作流建模中缺乏流程柔性和系统灵活性的缺点,能更加直观、清晰地描述审批业务。

Examination and approval of business workflow model based on Petri net

After formally defining the examination and approval of business, a formal dynamic behavior model for examining and approving business, called EABWF-net, was established. The model was different from traditional process-oriented model. It centered on the examination and approval role taking the message as roam mechanism and rule as flow logic of business. The model overcomed the limitation of traditional modeling method that lacks process suppleness and system flexibility. Furthermore it can explain the examination and approval business clearer and more directly.