加权的时间Petri网工作流模型研究

时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念,提出了加权时间扩展工作流网,对加权时间扩展工作流网的基本组件进行了时间分析,给出了平均时间的计算方法。通过网上订购商品和生产车间工作流模型,利用基本组件的时间性能分析方法,对这两个工作流模型进行了时间性能分析。     

一种基于扩展时间Petri网的工作流时间性能评价方法

时间性能分析是工作流模型分析和评价的重要方面．首先介绍了业务过程的一般Petri网模型,然后建立了工作流网的扩展时间模型,在可达图的基础上提出了简单路径图和可变换子网的概念,利用保持网响应时间和分配概率不变的网变换方法对扩展时间工作流网进行化简,给出了找出可变换子网的算法和计算工作流模型时间性能指标的方法．     

延迟时间Petri网的验证分析

延迟时间Petri网（Delay Time Petri Nets，DTPN）是一类重要的时间扩展Petri网系统，解决了其他时间扩展Petri网（如时间Petri网）在保存时间约束时所面临的困难。可调度验证的目的是验证工作流模型时间约束的合理性，对流程实例的时间可达性进行仿真。提出一种基于DTPN的时间约束工作流验证分析方法。给出了DTPN的相关定义，并结合工作流控制结构描述了变迁可触发的时间条件；提出了DTPN触发点的概念以及基于此的验证分析算法；简要分析了DTPN的特性。DTPN的研究丰富完善了现有时间Petri网体系，具有积极的意义。     

时间Petri网模拟能力的研究

模型的模拟能力一直是系统建模方面的一个重要研究课题。本文先用一个直观的“零检验”例子说明时间Petri网的模拟能力比传统Petri网要强,并首次证明了时间Petri网与计算科学的最高模型——图灵机有相等的模拟能力;最后给出了另外一种含时间因素的时延Petri网向时间Petri网的转换方法,这说明了时间Petri网虽然形式上较为简单,但其模拟能力却并不比其它含时间因素的Petri网逊色,同时为时延Petri网的研究提供了另外一种有效方法。     

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

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

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素．基于时间Petri网工作流模型(TWF-net)，通过分析TWF-net模型不足之处，建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net)．通过构建规则，可将多个TWF-net合并为一个XTWF-net，以描述并行流程中的时间约束；通过引入与时区相关的时间映射函数，XTWF-net可以描述分布于不同时区的流程．最后给出一个利用XTWF-net描述分布式企业中业务流程的实例．     

时间约束工作流的可调度性分析

提出一种时间约束工作流的可调度性分析方法。针对时间约束Petri网（Timing Constraint Petri Nets,TCPN）为普通Petri网无法建模多参与资源的不足,给出了扩展的时间约束Petri网（w-TCPN）的定义;结合w-TCPN的拓扑结构,从模型和实例两个层次,给出了w-TCPN变迁可调度的判定定理;提出了时间约束的调整策略。w-TCPN的研究使得时间约束工作流的建模和可调度性分析更加合理。     

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

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

基于WF-net的工作流模式建模与仿真

针对当前工作流模型仿真方法的不足,提出了一种基于WF-net网的扩展WF-net的工作流模式模型,并对模型进行验证与仿真.首先讲述工作流网(WF-net),然后从时间和层次两方面对基于WF-net的工作流模型进行扩展研究,提出了扩展WF-net工作流模型,并对该模型进行仿真调度策略和冲突解决策略进行选择,给出了某产品开发过程的扩展WF-net工作流模型,设计了扩展WF-net工作流模型仿真流程.为了增强模型仿真的可信度和可视性,从Petri网到扩展WF-net工作流网算法和仿真流程,经过仿真可知该模型没有死变迁,是正确的工作流模式模型.     

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

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

基于Petri网的工作流模型

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

工作流模型的有向图表示及基于Petri网的验证方法

该文从工作流模型的基本结构出发，描述了模型结构的有向图表达方法与建模方式，提出了一种将有向图转化为Petri网的转换算法，说明Petri网与工作流网的关系，之后运用Petri网的分析技术来验证模型的正确性，为电子政务领域内工作流模型的正确性验证提供了一种解决方案。     

Performance modeling and analysis of workflow

Workflow model analysis is performed at logic, temporal, and performance levels. This paper mainly deals with the performance level issues. Workflow net (WF-net) is extended with time information to the timing workflow net (TWF-net). To provide a formal framework for modeling and analyzing workflow, this paper proposes a multidimension workflow net (MWF-net) that include multiple TWF-nets and the organization and resource information. The algorithm to decompose a free-choice and acyclic Petri nets (PN) into a set of T-components is extended to a TWF-net containing iteration structures. Then, resource availability and workload analysis is performed. A method for computing the lower bound of average turnaround time of transaction instances processed in a MWF-net is proposed. Finally a case study is used to show that the proposed method can be effectively utilized in practice.     

基于工作流网的实时协同系统模拟技术

基于Petri网和工作流的概念，提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网，逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展，其变迁的输入／输出受逻辑表达式的约束，它与一般工作流网相比，能够在一定程度上缓解状态空间爆炸问题，且便于系统设计人员掌握和使用，该文分析了逻辑工作流网的若干性质及组合网的性质继承问题，并以网上企业销售系统为例，说明逻辑工作流网在实时协同系统模拟分析中的应用。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

一种模型驱动的工作流过程定义途径

传统的工作流管理系统在互操作性,可复用性,可移植性和开发效率等方面遇到了挑战,MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中,工作流模型处于核心地位,本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次,运用模型驱动的途径,依据给出的工作流模型,本文提出了一种模型驱动的,用于快速构造工作流管理系统的框架。针对工作流过程模型,着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换（转换过程和转换规则）,并以扩展的Petri网标注语言E-PNML规约了过程PIM。     

基于链表遍历模式的TCPN映射算法研究

对业务流程的建模分析是建立在工作流网的理论模型上的,因此需要合适的算法将建模工具中用户建立的有向图映射到工作流网.针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,给出了赋时着色Petri网定义,并提出了一种基于链表遍历方式的业务流程到工作流网的映射算法.重点研究了工作流模型基本控制结构的映射规则及其相关证明,并给出了该算法的具体实例.