论文部分内容阅读
工作流管理作为一种采用自动化的处理技术协调、完成某项工作，近年来在国内外各个领域中开始兴起。随着这种技术的发展，结合其他计算机网络技术和分布式的通信技术，已经形成了一种问题模型构建和分析解决的方法，应用在除办公自动化领域以外的其他领域，在处理复杂事件方面非常具备优势。本文基于此研究意义，主要研究了基于Petri网进行工作流模型构建和分析的理论，即在工作流管理系统设计和实现之后，根据其运行特点和优势提出了系统归约化简的方法，并结合随机Petri网和概率论这种数学分析方法进行模型分析。本文的主要研究工作可以归纳为以下几点：1、提出了一种基于Petri网的工作流模型，即WF-net网，并采用Petri网进行模型性质的分析；采用化简规则将模型状态转化到基本的Petri网状态，利用Petri网进行了模型活性、有界性以及可逆性的分析；2、基于图归约法，提出一种比较切实可行工作流模型结构正确性检验方法。能够对工作流模型中存在的各种冲突性结构进行准确的检验，并给出理论支持和具体算法；继而提出工作流模型的化简规则和基于Petri网的模型优化思想和具体算法；3、构建了一个基于Petri网的工作流仿真环境，将建模工具构建的工作流模型转换成Petri网模型，然后设置仿真参数，进行仿真运行，通过仿真性能指标，进一步分析和评价工作流过程定义的各项性能，进而通过改进得到一个较优的过程模型；4、性能分析是工作流模型创建后的关键环节，利用Petri网的可覆盖树方法和关联矩阵与状态方程分析法，提出了一种具有完备性和高效率的工作流模型分析方法；并详细阐述四种流程结构的时间性能分析算法和Petri网时间性能近似分析方法；5、以JAVA和XML技术设计开发了一个工作流通用建模、模型定义、模型转换以及工作流仿真和优化系统-JXWF。并详细讨论了JXWF系统在四个功能模块和数据库设计上的技术实现，同时在结合具体实例的基础上论证了JXWF系统实践上的可行性。