基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。

Petri net based dynamic workflow in OA system

This paper introduces the workflow technology,analyzes the defect of traditional workflow model which can not be dynamically changed based on the actual condition generally.Based on the shortcomings,this paper proposes a workflow,which supports dynamic modification of workflow processes.This article implements the dynamic and flexible of workflow from the process model.Taking the leave process for examples,using Petri net as modeling tool to achieve its dynamic changes,and using the classical Petri net tree traversal algorithm to verify the accuracy of instances.Finally,it displays the realization method of dynamic workflow.