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