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

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