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

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

工作流系统模型的性能等价分析

讨论了基于随机Petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机Petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一 .在随机Petri网模型中 ,变迁的串、并联是Petri网模型的主要基本形式 ,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题 ,而且也为其他随机Petri网的化简技术提供一个坚实的基础 .另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构 ,所以对随机Petri网模型变迁的串、并联的化简 ,特别是能够推导出它的性能等价的数学公式就显得很有必要 .本文详细阐述了随机Petri网变迁的串并联的模型化简技术 ,推导出了变迁的串、并联化简的性能等价公式 ,并给出一个化简的例子 ,最后对结果的相关问题进行了分析 .

工作流扩展模型及其性能等价分析

针对现有工作流模型表达能力的不足,基于工作流控制模式的最新研究成果,通过扩充和调整得到8种工作流基本控制模式。基于8种工作流基本控制模式,对WFMC定义的4种工作流基本模型进行扩展,得到了合理的、满足封闭性要求的6种扩展工作流基本模型,丰富了工作流模型的表达能力。从统计学角度推导了基于随机Petri网的选择、容错和嵌套模型的性能等价计算公式,给出了一种定量分析工作流模型性能参数的通用方法。

随机Petri网性能等价化简与分析方法研究

随机Petri网等价性能化简技术的研究一直是Petri网研究的主要问题之一,已有学者研究了在指数分布的假设下的随机Petri网的等价化简方法。该文研究指出关于顺序结构、选择结构和循环结构的化简结果并不依赖于指数分布,但是关于并发结构的结果依赖于指数分布。并给出了在均匀分布条件下的随机Petri网并发结构的化简技术。

随机Petri网工作流模型的等价性能分析

建立系统Petri网工作流模型,给出了顺序、并行、选择、循环四种基本结构的等价化简公式。将原模型转化为随机Petri网工作流模型,并应用这一性能等价方法,逐步化简,最终得到系统的平均执行时间和与性能分析相关的有效定量参数。

网络控制系统的等价离散最忧性能指标问题

针对具有线性时不变被控对象的网络控制系统,讨论了在控制器为时钟驱动和事件驱动两种情况下的连续最优性能指标到等价离散最优性能指标的转换,结果表明,当网络诱导时延小于一个采样周期时在控制器的两种驱动方式下,网络控制系统具有相同的等价离散性能指标。其中被控对象和系统输出中皆含有连续的白噪声。

一种紧同步随机Petri网模型的性能分析方法

紧同步随机Petri网模型常用于对多个子系统构成的实际系统进行建模.由于状态空间爆炸问题,这种模型的性能分析目前还没有得到很好的解决.首先给出了随机Petri网中顺序、并行、循环、选择这4种基本结构的性能近似等价公式,然后提出了一种同步变迁等价分解(synchronous transition equivalent decomposition,简称STED)法对紧同步随机Petri网进行分解求解,有效地缓解了具有一个或多个同步变迁情况下的空间爆炸问题,该方法对于子模型同构的情况处理简便且十分有效.

广义良构工作流的业务实例性能分析

为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法。工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行。首先提出广义良构工作流网的概念并建立业务实例可达子网的规则和算法,讨论了活跃活动和活跃模式的性能等价模型,随后用这些模型化简广义良构的业务实例可达子网,并将因工作流模式的部分覆盖而不能完全化简的可达子网转换为更为简单的归属子图,以简化其性能求解。最后,通过实例演示了业务实例性能分析过程及方法的有效性。

基于可达子网跟踪的业务实例性能分析

业务实例的时间性能是业务过程实时管理和调度的重要依据.业务实例的可达子网随着执行推进不断变化,其中各个活动分别处于完成、执行和等待等多种不同的状态,业务实例的性能估计只能针对该子网进行.本文首先提出执行中和等待中活动的时间性能等价模型,提出实例的归属子图集概念以跟踪实例的可达子网的动态变化,并将复杂的实例时间性能求解问题转换为更为简单的归属子图的性能求解问题,用一个例子演示了业务实例性能分析过程.

基于工作流网的分布式作业管理系统性能分析方法

在分布式环境中,各节点本身配置不同和资源的数量多少,导致在处理能力上也有差别,再加上不同作业所需资源的不同,理论上难以精确地计算出系统性能参考值。鉴于此,本文基于已开发的分布式作业管理系统软件,利用WF_net的原理着重分析与研究作业流等价性能,进而推出系统负载性能评估方法,以进一步有效地评估分布式环境下作业调度的合理性与高性能性,并提供了具有参考价值的系统性能量化值,为系统软件功能的可靠性做好理论可行性分析,确保后续开发有据可依。

随机数学在计算机随机Petri网模型变迁化简技术中的应用

用随机数学方法 ,推导出计算机随机Petri网中时间变迁的串联、并联及选择结构模型的性能等价公式 ,为随机Petri网模型的化简提供了一个有效的手段。