【摘要】 介绍动态工作流技术和Petri网络建模技术,针对当前矿业公司OA(Office Automation)系统中工作流模型不能根据实际情况进行动态改变的缺点,提出了一种基于Petri网的工作流动态修改的工作流模型,主要实现了过程建型的动态修改。通过OA系统的请假流程分析研究,利用目前先进的Petri网建模技术,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示总结出动态工作流的具体实现方法。更多还原

【Abstract】 This paper introduces dynamic workflow technology and Petri network modeling technology. The shortcomings of current workflow models in enterprise OA system can’t be dynamically changed according to actual situation. On this basis, a workflow model of dynamic modification of workflow based on Petri net is proposed, which mainly realizes the dynamic modification of process construction. Through the analysis and research of the OA system’s leave process, we are using the advanced Petri net modeling technology to realize the dynamic modification. We also know of the traversal tree algorithm of classic Petri net to verify the accuracy of the migrated instance. At last, the concrete realization method of dynamic workflow is presented.更多还原