基于时间Petri网的工作流建模及应用

论文摘要

随着信息技术的快速发展,世界经济全球化的浪潮一波波的汲涌而来,这对企业的生存环境产生深刻的影响,对企业的竞争力提出了新的挑战。企业面对全球化的市场竞争环境时,需要面对大量的商业手续,而这些大多数是通过公文或合同的形式来进行。因此为了提高在这些繁琐而又不得不进行的工作的效率,企业自己本身必须对自己的工作流应用提出更高的要求。因此,工作流管理系统的前期设计起着至关重要的作用。本文研究了现有的工作流技术的基础上,为公文流转系统的发文流程和收文流程进行了工作流建模。并给出了符合WfMC(工作流管理联盟)规范的基本工作流模型的时间Petri网描述,提出了将发文流程和收文流程工作流模型转化为时间Petri网的几个基本方法。讨论了公文流转系统建模后模型的几个重要的状态和变迁,并且在此基础上,讨论了时间Petri网的时间约束性能在公文流中的几种重要的表现形式,引入了时间约束的概念,提出了模型正确性验证算法,以及基于时间Petri网的时间约束的公文流转工作流性能的优化算法,最后基于优化后的工作流模型实现一个公文流转系统。本文的主要内容概括如下：(1)引入时间Petri网进行工作流建模本文通过工作流建模方法来对公文流转系统中的发文流程和收文流程进行Petri网建模。并以其中一个公文流为实例,引入工作流的时间控制算法,目的是为了能够更好的提高工作流的运行效率。并且阐述了工作流的时间约束的概念以及相应的模型。(2)基于时间Petri网的公文流转模型分析在先前建模的基础上,本文对公文流转模型分别从时间Petri网可达性,活性等性质进行分析,并且给出了模型分析的结果。(3)基于时间Petri网的公文流转性能评价和优化传统的时间Petri网只对工作流时间约束进行分析,来作出是否正确的判断。而对不符合时间约束的工作流模型只能人为的修改,效率不高。针对此问题,本文提出了一种能够调整时间约束的算法,来帮助手工调整整个工作流管理系统。并对调整前后的工作流进行再次检验和性能的分析。(4)在J2EE平台上实现以公文流转为核心的办公自动化系统在以上理论基础上,本文在J2EE的平台上设计了一个公文流转系统,并对其中的步骤进行时间控制,通过以上算法的调整,进行调整前后的性能的分析和比较。

论文目录

• 摘要
• ABSTRACT
• 目录
• 1 绪论
• 1.1 研究背景
• 1.2 工作流的国内外研究现状
• 1.3 本文的工作
• 2 相关理论综述
• 2.1 工作流技术综述
• 2.2 Petri网综述
• 2.3 时间Petri网
• 2.4 基于时间Petri网的工作流建模技术
• 2.5 本章小结
• 3 基于时间Petri网公文流转系统建模
• 3.1 公文发文流程的时间Petri网模型
• 3.2 公文收文流程的时间Petri网模型
• 3.3 时间Petri网模型的优越性
• 3.4 本章小结
• 4 基于时间Petri网的公文流转时间性能分析及优化
• 4.1 公文流转系统的时间约束
• 4.2 公文流转系统的时间约束Petri网模型
• 4.3 一种公文流转系统的时间约束动态调整方法及优化分析
• 4.4 本章小结
• 5 公文流转系统的实现
• 5.1 公文流转系统设计目标
• 5.2 公文流转系统需求分析
• 5.3 公文流转系统的设计
• 5.4 公文流转系统的实现
• 5.5 本章小结
• 6 总结与展望
• 6.1 本文工作总结
• 6.2 本文工作展望
• 参考文献
• 攻读学位期间取得的研究成果
• 致谢