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

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

基于Petri网化简技术的工作流模型合理性验证

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程.     

基于Petri网的工作流合法性验证综述

对传统的工作流合理性验证方法进行了阐述,并分析了这些方法的优缺点,着重针对国内外学者用Pe-tri网对工作流合理性验证方法进行综述,分析其特点,并指出了工作流的合理性验证的发展方向。     

基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.     

基于Petri网的工作流过程验证方案的研究

工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性。本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述。     

基于可替换性Petri网工作流模型合理性验证

所谓工作流是一类能够完全或者部分自动执行的业务过程,它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行,模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法,通过合理且安全的构造块分步构造模型,最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析,利用着色时间Petri网建立工作流模型无需冗杂的计算,此方法适合于复杂工作流模型的合理性验证。     

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。     

基于Petri网公文流转工作流模型的设计

Petri网是目前最有前途的建模工具，它的应用几乎涉及到计算机学科的各个领域。文中将使用其作为办公自动化系统中较为复杂的公文流转工作流模型的设计工具，来分析设计流程中遇到的几个问题，并在提出解决问题的策略方面作一些探讨。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

基于Petri网的工作流模型的分析

通过模型分析发现所描述的过程定义中的设计错误,以便对业务过程重构提供正确的指导和科学的依据。首先将信牌驱模型转化为Petri网,接着将Petri网进行必要化简,最后对化简后的Petri网进行死锁等分析。     

基于图归约法的工作流模型验证

详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则，根据这些规则即可判定工作流模型中存在的结构冲突，从而迅速对其进行修正。     

基于状态空间的工作流模型验证

工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型。     

基于Petri网的工作流挖掘技术分析

针对传统的工作流管理生命周期对“商业过程再造”不能紧密支持的问题,引入了过程挖掘阶段和过程验证阶段。本文着重讨论基于Petri网的过程模型挖掘技术,对其步骤和所涉及的问题进行了分析,并提出了过程挖掘的算法。     

工作流时序约束模型分析与验证方法

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.     

基于对象Petri网工作流建模的研究与实现

结合XPDL（XML Process Definition Language）标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。     

基于角色的工作流模型及其应用

将角色的概念引入工作流模型中，并对其在安全性方面的控制进行了分析，结果表明在工作流模型中引入角色的概念，可以提高系统的安全性和方便的实现系统的安全访问控制，同时方便了程序员对系统的设计与开发．之中还给出了基于角色的工作流模型的应用实例。     

基于扩展任务结构的工作流建模及其合理性验证

任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.     

一个基于角色的工作流模型

在WfMC（Workflow Management Coalition）的工作流元模型和RBAC（Role Based Access Control）的基础上提出一个基于角色的工作流模型。该模型将RBAC融入工作流建模，实现了流程定义过程中基于角色的任务授权，并将带有角色继承特性的RBAC1引入工作流模型的角色层次的维护，并在此基础上结合组织结构图，对角色进行纵向和横向的划分，使角色层次结构更接近实际应用。