基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。     

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

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

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

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

基于Petri网的工作流建模与分析

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度。基于Petri网的建模方法具有坚实的理论基础和直观的图形表示，是工作流和工作流管理系统建模和分析的理想工具。文章先讨论基于Petri网的工作流模型的建立和分析，接着给出了该模型在高考招生系统(NACUES)中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

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

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

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性.文中简要地介绍了WFMIS和基于Petri 网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri 网建模.     

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性。文中简要地介绍了WFMIS和基于Petri网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

基于Petri网的办公自动化工作流建模

文章针对办公自动化系统(OA)的工作流模型,提出基于petri网的办公自动化工作流建模方法。应用表明该方法简单、可行,并对该方法进行了正确性论证和性能分析。     

MD_WFN：一种基于Petri网的工作流模型研究*

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然而目前大多数的工作流建模方法往往只注重模型的某些方面,缺乏对工作流各要素的统一建模能力。通过对传统Petri网的改进,提出了一种包括任务、控制、资源、时间等多要素的多维工作流模型（multidimensional workflow net,MD_WFN）,实现了任务流、控制流、资源流在同一工作流模型中的统一。对基于MD_WFN模型的工作流模式和工作流建模过程进行研究,为使用MD_WFN     

一种基于改进Petri网的工作流案件分布式处理系统模型

针对现有的案件处理系统功能单一、效率低、缺乏并行处理和协调优化能力,无法满足现代案件处理需求的问题,基于改进Petri网的工作流技术,解析案件处理特征,对案件处理系统动态过程进行规划、调度和调整,在建模过程中引入Petri网分布式处理框架和工作流的路由结构、触发机制,建立了一种改进Petri的网工作流案件分布式处理系统模型,并对模型进行定义化描述和合理性验证,为司法部门案件处理提供高效、安全、可靠的平台。     

基于Petri网的工作流模型的研究

介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度.通过一个具体实例阐述了如何建立扩展工作流网模型,并通过简化技术和可达树分析方法,验证了模型的活性.     

基于Petri网的OA工作流模型研究

通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.     

一种基于Petri网的审批业务工作流模型

在给出审批业务形式化定义的基础上,针对审批动态行为过程提出了一个形式化模型EABWF net。与传统的面向过程的建模方式不同,该模型以审批角色为中心,以消息为流转机制,以规则为流程控制逻辑。该模型克服了传统建模方式在审批业务工作流建模中缺乏流程柔性和系统灵活性的缺点,能更加直观、清晰地描述审批业务。     

基于Petri网的电子政务工作流模型研究

设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。     

基于扩展Petri网的系统建模及形式化验证方法*

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。     

基于彩色Petri网的工作流权限管理的建模与分析

在一个组织中,权限管理是个非常复杂而又重要的任务。为确保组织的业务过程中各项任务只能被合法的用户所执行,建立授权模型并验证权限分配的正确性是十分必要的。彩色Petri网具有比Petri网更强的表达能力,可以用来建立一个完整的权限管理模型,不仅包含权限管理,还包含安全约束如SoD（职责分离）以及角色层次关系结构（role hierarchy）等概念。使用Petri网建模的一个优势是它建立在坚实的数学基础之上,并且得到了许多分析验证技术和工具的支持,如使用线性代数技术分析授权状态的可达性。     

基于Petri网的协同三维建模工作流模型研究*

通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。     

基于Petri网的工作流模型

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