一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点，对工作流模型的性能分析是工作流研究的一个重要内容．实际的模型往往规模大而复杂，这为分析其性能带来了很大的困难．但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成，对于这类模型，本文给出了计算其性能乘积解的数学公式．文中给出了如何由这四种基本模型嵌套组成实际模型的方法，推导出了计算这四种基本模型的性能等价公式，并按建立实际模型相反的顺序，用由里到外逐层的分析方法，给出了计算实际模型的性能乘积解．     

基于随机Petri网工作流模型的时间性能分析方法

工作流Petri网的时间性能分析方法有多种,本文采用加入时间因素的扩展马尔可夫链,建立与随机Petri网同构的有穷马尔可夫链,再根据此过程的稳定概率求解系统的性能参数。     

基于CTMC的工作流网过程定义性能分析

为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义（-PN,i）覆盖图而获得连续时间SPN（PN,i）对应的CTMC状态空间的分析方法,计算出（PN,i）中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关,克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性,并得出过程定义时间性能分析方法。     

基于Petri网的工作流网模型分析与应用问题研究

文章介绍了Petri网和工作流网的基本知识,以及工作流网模型基本结构,并结合公文管理中发文部分工作流应用环境,提出了一个相对完整的基于Petri网的工作流网模型,并对模型的正确性进行了分析。     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

工作流过程模型理论研究综述

工作流过程模型理论的研究还很不成熟,在建模方法上还没有形成比较系统的理论体系,过程建模缺乏统一有效的理论基础。本文研究目前主要的几种工作流过程模型理论,并比较他们的优缺点和适用范围。得到针对工作流的具体情况结合使用多种建模理论是目前工作流过程模型建模的有效措施。     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

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

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

基于扩展型工作流网的网格工作流模型研究

基于传统的工作流网不能满足网格动态性的要求,及其无法体现数据流的不足,提出一种可行的扩展型工作流网(EWFN)的网格工作流模型.该模型适应网格动态变化特点和应用处理需求,并且既能表示出控制流,又能表示出数据流.使用实例表明采用该模型的可行性及其优点.     

资源约束下实例在工作流中停留时间分析方法

为了反映业务请求者对业务处理的完成时间要求的满意程度,以工作流模型描述业务处理过程,然后分三步求出实例在工作流模型的停留时间分布函数:第一步求出实例在每一活动的停留时间分布函数;第二步求出实例在每一基本结构的停留时间分布函数;第三步求出实例在整个模型的停留时间分布函数.再根据客户对停留时间的容忍限度,得出客户对业务处理过程的满意度.     

基于随机Petri网模型的低轨卫星网络性能分析

基于随机Petri网(SPN)模型方法,对LEO单层卫星网络进行了性能分析.首先建立了半双工通信模式下LEO单层卫星网络的SPN模型,并选取平均时延作为网络性能评价指标、采用SPNP6.0软件对该SPN模型进行了性能评价,分析了数据包到达速率、网络负载以及消息数等参数对网络平均时延的变化关系.该建模与性能评价方法将有助于卫星网络的构建和进一步的性能分析.     

基于价格时间Petri网的网格计算应用模型及分析

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法.     

联锁系统形式化模型的安全性评估

根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性。     

一种用于评价编码软件性能的归一化计算模型

编码软件是电视台技术系统中最重要的应用软件之一,它们的编码性能极易成为业务流程效率的瓶颈,所以经常需要进行性能测试和比较.但是,不同编码软件的参数设置往往不同,导致测试得到的结果并无必然的规律,不能直接用来比较编码软件.本文提出了一种归一化计算模型,首先把衡量编码软件性能的两个关键要素——编码质量和编码效率进行归一化,然后再进行对比,解决了测试结果不能直接用来比较编码软件的难题.     

一种区分服务综合方案的模型与性能分析

本文提出了一种将Internet网络分组传输延时和丢失控制的区分服务要求相结合的综合方案,它具有较强的通用性和灵活性.文章给出了PHB实现机制的一种基于随机Petri网模型的分析框架,并给出了性能指标的分析和数值结果.模型求解采用了一种分解、迭代的近似方法,可以有效降低求解复杂度.近似分析结果和模拟结果的比较证明,这种近似求解方法是可行的.     

APIT算法在不同传播模型中定位性能分析

针对信号传输的不规则性对定位算法的影响进行了分析,选取定位算法中的APIT算法作为研究对象,APIT算法适用于信标节点比率比较高的场合。通过运行一组仿真实验,获得了该算法在4种传播模型中的定位性能对比表。从仿真结果分析可以看出,随着通信的模型的不规则度DOI增加,定位误差以及网络连通度也保持增长态势。     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

CBR:一种支持工作流过程语义验证的组件级 化简方法

目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.