混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具。对基于随机Petri网的具有抢占式服务策略的通信线路进行了分析。为了实现高优先级用户对低优先级用户服务中断的模拟，采用了基于变迁的抑制弧。推导了瞬时概率的表达式。最后，针对2个不同用户的实例，给出了M／G／1／2／2排队模型的分析结果。     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具.对基于随机Petri网的具有抢占式服务策略的通信线 路进行了分析.为了实现高优先级用户对低优先级用户服务中断的模拟,采用了基于变迁的抑制弧.推导 了瞬时概率的表达式.最后,针对2个不同用户的实例,给出了M/G/1/2/2排队模型的分析结果.     

基于随机Petri网可修控制系统的可用度计算

提出了一种基于随机Ｐｅｔｒｉ网的可修控制系统的稳态可用度的计算方法。该方法利用随机Ｐｅｔｒｉ网作工具来分析系统的状态变化关系，从而得出相应的Ｍａｒｋｏｖ链状态转移图，再利用由此得来的状态概率矩阵方程求解，计算较为简单。     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

一阶流体随机Petri网:定义与分析

重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实际问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

基于广义随机Petri网的贵港生态工业园资源利用率分析

资源利用率是评价生态工业园运行绩效的重要指标,资源高效利用是生态工业园建设的基本要求.本文以广义随机Petri网作为建模工具,以贵港生态工业园作为研究对象,通过构建贵港生态工业园物质循环网络的广义Petri网模型,利用广义随机Petri网模型与马尔科夫链的同构关系,分析了贵港生态工业园关键资源的利用率以及重点加工环节运作效率,指出了贵港生态产业园资源利用过程中有待改善的环节,为贵港生态工业园的优化和改进提供了依据.     

随机状态机Petri网性能分析的矩母函数方法

提出了对随机Ｐｅｔｒｉ网的一个子网—随机状态机Ｐｅｔｒｉ网进行性能分析的矩母函数解析计算方法，并通过例子说明了该方法的计算过程。对特定的系统应用该方法时，首先将其表示成状态机Ｐｅｔｒｉ网模型，计算出传递函数，然后求出系统的性能测度。该方法克服了马尔可夫链对时间延迟必须是负指数分布的限制，从而使其具有更广泛的适用性。     

基于随机Petri网的煤仓储运系统可靠性分析

由于影响煤仓储运系统的故障因素多带有并发性、异步性及随机性的特点,所以定性和定量分析煤仓储运系统的可靠性较为复杂.该文利用随机Petri网构建了煤仓储运系统的模型.该模型直观地反映了煤仓储运系统的实际组成及其运行状态,讨论了可修复条件下系统的状态及其转换关系,揭示了煤仓储运系统可靠性的构成并对其可靠性问题进行深入地分析,从而得出系统可靠度的表达式.最后,结合具体煤仓实例分析了模型及其算法的可行性,得出了改善实际煤仓储运系统的相关建议.结果表明,此方法为分析煤仓储运系统可靠性提供新的途径.     

基于有色Petri网模型的OSPF路由性能分析

在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.     

基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

基于随机Petri网的NAT-PT协议的性能分析

网络地址翻译与协议翻译(NAT-PT),是IPv6(In-ternet P rotoco l vers ion 6)过渡协议中非常重要的一种。地址池是NAT-PT中的重要概念,其大小对于NAT-PT的性能起着关键的影响。该文的主要研究目的就是获得性能和地址数量上的平衡点。该文使用随机Petri网对NAT-PT进行形式化描述,建立了其广义随机高级Petri网模型和广义随机Petri网模型。并且通过工具包SPNP(S tochastic Petri N etPackage)计算分析得到了一定主机数量下地址池大小的近似最优化结果,同时对NAT-PT地址翻译的系统吞吐量进行了评价。当地址数量为近似最优值时,不仅可以节省地址分配,而且系统性能几乎不受影响。     

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

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

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

基于QoS的网格服务匹配随机Petri网模型

提出了随机Petri网网格服务质量模型,对网格调度实体和过程进行抽象和简化;图形化地反映当前网格资源分派状况,利用经验学习的方法对网格服务进行匹配,并对网格服务质量进行了定量分析.为网格服务质量评价提供了一个定性和定量的评价方法,对于减少网格服务资源冲突、提高服务质量具有重要意义.     

一个基于HOOPN的Petri网模型及其应用

介绍了面向对象的层次Petri网HOOPN的基本定义、语法和图形表示。HOOPN支持主要的面向对象的特征，包括抽象、封装、模块化对象、继承和多态。HOOPN可以展开至下一层Petri网，从而支持系统设计的渐增模式。使用HOOPN建立了一个信息系统的模型，验证了HOOPN对面向对象特征的支持，并为一个企业信息应用系统和业务过程建模提供了范例。