基于Petri网化简技术的工作流过程模型结构验证

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.     

担保业务管理系统工作流的Petri网建模

应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对担保业务管理系统工作流进行有效的分析和验证,从而为担保业务管理系统工作流分析提供了理论基础。     

基于Petri网的审计工作流模型设计与验证

针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型.引入了化简的验证方法,并通过化简,对模型进行了正确性验证.利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持.     

基于Petri网化简技术的工作流模型正确性研究

为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非自由选择网结构活性和有界性的分析，给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法，从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问题。通过一个例子说明了如何使用该文提出的方法来验证模型的正确性。     

工作流模型正确性验证过程中的模型简化问题

将工作流概念映射到Petri网后得到的工作流网的合理性验证过程比较复杂,容易出现状态空间爆炸的问题,需要对工作流模型进行简化。文章将工作流模型的简化过程分为两个步骤,首先将工作流模型转化为经典Petri网,再对经典Petri网进行简化。对于自由选择网可以采用自由选择语义的规约方法进行简化,而对于非自由选择网可以结合自由选择语义的规约方法和标准的Petri网简化方法进行简化。     

基于Petri网的工作流建模合理性验证算法

Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段。通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最后用实例验证了该算法的正确性。     

基于Petri网的工作流逻辑化简规则的矩阵表示

Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。     

时间Petri网等效变换的工作流评价

时间性能分析是工作流模型分析和评价的重要方面.首先介绍了业务过程的一般Petri网模型,然后引入时间Petri网建立工作流网的时间约束模型.提出了保持网时间约束特性不变的网变换规则和时间性能计算方法,对工作流网进行化简及时间性能计算,并给出了相应的算法.最后通过一个实例说明本方法的应用过程.     

基于交互学习的柔性工作流形式化验证方法研究

工作流过程建模是一个复杂且易错的过程，在建模阶段进行有效的过程验证是十分必要的。目前，柔性工作流验证领域的研究还比较欠缺，该文在这方面作了一些探索。把过程合理化验证和化简验证技术应用于基于交互学习的柔性工作流建模的形式化验证中，叙述了需要验证的问题和复杂度。利用Petri网的形式化基础特性对过程进行合理性验证和规约验证。根据规约粒度的不同，分别对基于交互学习的柔性工作流模型进行原子级和组件级规约。规约使用的基本技术有库所融合、变迁融合和子网融合。在特性保持的前提下，将过程模型缩小到适当规模。结果表明，基于交互学习的柔性工作流过程建模中的形式化验证方法具有一定的实用性和可操作性。     

自由选择工作流网的可靠完备化简规则集

流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri 网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化.