基于着色时间Petri网的工作流建模方法研究与应用

摘要

作为实现业务过程建模、仿真分析、优化管理与集成的核心技术，工作流目前已被广泛运用于项目管理、办公自动化以及业务流程重组等领域。建立工作流模型是实现工作流技术的关键环节，模型质量的优劣直接关系到后续工作流管理系统的性能和效率高低。目前，大多数的工作流建模技术，对于复杂信息系统的建模能力不足，缺乏行之有效的模型结构合理性和性能分析手段。
　　本文在分析研究现有工作流建模方法的基础上，基于着色时间Petri网建立某单位公文处理工作流模型，并分析该模型的结构合理性和时间性能，最后基于该模型设计并实现公文处理系统。全文主要工作是：
　　1、利用经典Petri网在工作流建模方面的巨大优势，将其进行颜色和时间扩展，研究基于着色时间Petri网的工作流建模技术。分析某单位公文处理的实际流程，并运用着色时间Petri网建立其工作流模型。
　　2、针对可达树方法在分析复杂工作流模型结构合理性方面的不足，提出了基于工作流网可替换性的结构合理性验证法。通过合理且安全的构造块，分步构造模型，最终完成对公文处理工作流模型的合理性验证。
　　3、研究基于着色时间Petri网工作流模型的时间性能分析方法。根据变迁时延，推理得出着色时间工作流网四种基本组件的时间等效变换规则，利用这些规则计算出公文处理工作流模型的时间性能，确保模型的时间性能满足实际要求。
　　4、基于上述研究结论，根据某单位办公的实际，分析公文处理系统的功能需求，设计了系统的总体框架结构，并对关键模块进行了详细设计。最后运用工作流开发框架WF，结合EXT技术，搭建系统开发和测试环境，实现并测试公文处理系统。

目录

文摘

英文文摘

致谢

插图清单

表格清单

第一章 绪论

1.1 课题背景和意义

1.2 国内外研究现状

1.3 本论文主要研究内容

1.4 论文的组织结构

第二章 工作流建模与Petri网技术

2.1 工作流技术

2.1.1 工作流的定义及基本术语

2.1.2 工作流管理系统

2.1.3 工作流参考模型

2.2 Petri网

2.2.1 Petri网的描述及定义

2.2.2 高级Petri网

2.2.3 基于Petri网进行工作流建模的优点

2.3 工作流网

2.3.1 工作流网的定义

2.3.2 工作流网的基本组件

2.4 本章小结

第三章 基于着色时间Petri网的工作流建模

3.1 着色时间Petri网

3.1.1 着色时间Petri网定义

3.1.2 着色时间工作流网的基本组件

3.2 基于着色时间Petri网的公文处理过程建模

3.2.1 公文处理过程分析研究

3.2.2 公文处理过程建模

3.3 本章小结

第四章 工作流模型的合理性验证与时间性能分析

4.1 工作流模型的合理性定义

4.2 基于可达树的工作流模型合理性分析

4.3 基于工作流网可替换性的合理性验证

4.3.1 基本思想

4.3.2 公文发文工作流模型的合理性分析

4.4 工作流模型时间性能分析

4.4.1 着色时间工作流网基本组件的时间等效变换

4.4.2 公文收文工作流模型时间性能分析

4.4.3 公文发文工作流模型时间性能分析

4.5 本章小结

第五章 基于工作流的公文处理系统设计与实现

5.1 功能需求分析

5.2 系统总体设计

5.3关键模块详细设计

5.4 系统实现

5.4.1 系统开发平台

5.4.2 公文管理模块实现与测试

5.5 本章小结

第六章 总结与展望

6.1 全文工作总结

6.2 下一步工作展望

参考文献

硕士期间发表论文与参与项目