论文部分内容阅读
工作流管理是信息时代的研究热点之一,已被广泛应用于多个领域。工作流模型是整个工作流技术的重要内容,而模型的正确性分析和性能评价则是工作流系统研究和应用的主要理论基础和支撑技术。由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。本文基于Petri网理论对工作流的业务过程进行了建模描述,介绍了一种工作流模型一工作流网,利用结构分析方法,如关联矩阵、状态方程、P/T-不变量,对工作流网的结构正确性,即可靠性,进行了分析,给出了一组判断工作流网可靠性的必要条件;并着重讨论了两类结构比较特殊的工作流网—状态机工作流网SMWF和标识图工作流网MGWF,指出所有的SMWF和无回路的MGWF都是可靠的;对于大型、复杂的系统,利用细化理论,对其进行层次化建模和性质分析,给出了如何使细化后的组合网满足可靠性、状态不变性和行为不变性的条件;在工作流性能评价方面,利用广义随机Petri网理论对工作流系统的性能,如平均服务时间、资源利用率,进行了定量分析,特别地对工作流网的四种基本组件(顺序、并行、选择及循环)推导出了时间性能的等价公式,并且结合实例说明了复杂系统工作流网的层次化性能分析方法。