摘要

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