随机Petri网理论在GSM-R通信系统中的仿真应用

列车和无线闭塞中心在多数情况下通信处于正常状态,但在实际通信过程中可能出现以下几种引发故障因素：传输数据出错、连接丢失、越区切换、端到端传输延时。应用仿真主要考虑高速列车在移动闭塞区间条件下GSM-R无线通信系统的可靠性,结合随机Petri网理论对GSM-R铁路无线通信系统故障恢复事件进行建模和分析,给出了随机Petri网表示的列车与无线闭塞中心通信的故障恢复模型,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。     

随机Petri网的计算机仿真

本文研究了用计算机仿真技术作为随机Petri网的分析工具,并以通用仿真语言GPSS为例,讨论了随机Petri网与GPSS程序块之间的转换,并给出了应用实例。     

基于随机Petri网的工作流仿真

工作流管理是今年来发展最为迅速的计算机应用技术之一,被广泛应用于多个领域.Petri网,是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模的有效工具.针对工作流的性能评价问题设计和实现了随机Petri网仿真工具.介绍了工作流和随机Petri网的基本概念,然后具体介绍了仿真策略和冲突解决方法的关键仿真技术问题,最后结合具体实例对仿真工具的有效性和正确性进行验证.     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

随机时间Petri网综述

随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。     

Web预取随机Petri网建模研究

随着网络信息的飞速增长，互联网已成为人们获取信息的重要来源。但是，受限于网络带宽，用户往往需要忍受较长的访问延时。预取技术的出现可以缓解这种情况，降低用户的访问延时，提高Web服务器的服务质量。本文将随机Petri网应用于描述预取系统，建立了多用户单服务器系统的预取随机Petri网模型。     

一种基于广义随机Petri网的分析器

广义随机Petri网在离散事件系统的性能分析中得到广泛应用.本文介绍了能对含禁止线、K有界的GSPN模型进行稳态分析的自动分析工具,此工具同样适用于SPN模型的稳态分析和PN模型的可达性分析.并给出使用本软件的例子.     

基于有色广义随机Petri网的虚拟供应链仿真方法

该文首先介绍了虚拟供应链概念，然后提出了虚拟供应链仿真的基本思想和设计原则，提出了一种基于有色广义随机Petri网的虚拟供应链仿真方法，给出了库所、托肯、颜色相应的含义以及Petri网的初始值设定方法和引发条件。     

基于随机Petri网的网络应用系统负载仿真模型

提出基于随机Petri网的网络应用系统负载Petri网(NSLPN)模型的定义,并给出该模型的一般构造方法,基于应用功能调用链将应用划分模块,根据调用链分析模块间调用关系构建出应用调用网络,并将其抽象为NSLPN模型,添加用于满足标准SPN模型以及人工干涉系统状态的辅助结构,求解系统负载稳态分布规律,具备模拟人工干涉下系统负载演变过程的能力。实例研究表明,该模型能够直观体现网络应用负载演变过程,能够为系统优化提供科学准确的数据参考。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于随机Petri网模型的网络协议性能测试

分析了协议性能测试需要解决的主要问题,并以随机Petri网为形式化工具,描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则,并根据随机Petri网模型生成了协议性能测试例.     

基于随机对象Petri网的柔性制造系统性能分析

为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面向对象的建模能力,具有较强的定量分析能力。     

基于嵌套网的JADE建模

良好的形式化建模方法是大规模开发和应用多Agent系统(MAS)的必要条件之一,使用多层的嵌套网对JADE进行层次化建模,给出面向对象的MAS与NP-nets之间的对照关系。指出通过引入层次结构,不仅能有效地控制状态空间的规模,而且能通过网托肯的嵌套方式克服Petri网结构演化的困难。     

基于随机时间Petri网的安全性分析方法

在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。     

基于随机Petri网的性能与可靠性评价

近年来,随机Petri网在柔性制造系统、计算机及通信系统等领域的性能与可靠性评价中得到了广泛的应用。文章首先介绍了性能与可靠性评价,然后回顾了广义随机Petri网及其状态空间爆炸问题,最后讨论了非马尔科夫随机Petri网。     

基于非马尔可夫随机Petri网的软件再生建模与分析

软件老化是影响软件系统可靠性的重要潜在因素,软件再生作为一种主动预防性的软件容错技术是解决软件老化问题的主要手段.以往的随机Petri网再生模型假定所有变迁的实施时间服从指数分布.针对变迁的实施时间服从确定性分布或一般性分布的情况,文中提出了一种用非马尔可夫随机Petri网建立软件再生模型的方法.该方法采用马尔可夫再生理论对模型进行分析,并给出模型的瞬态解和稳态解.仿真实验表明:选择合适的软件再生周期,可以有效地降低存在老化的软件系统的平均宕机成本,提高系统的可用性和可靠性.     

基于SPN模型的物流采购决策

在电子商务物流管理系统(ELMS)中,针对采购决策存在的供应商选择和订单选择问题,根据ELMS采购流程和多属性决策方法得到供应商选择调度算法,利用基于随机Petri网的多服务器多队列模型实现订单选择策略。性能分析结果表明,该方法能有效减少ELMS系统的响应时间,并提高其吞吐率。     

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

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

准自相似业务流的SPN模型及其评价

该文研究了近似自相似业务的马尔可夫模型,提出了该模型的相位型表达式并据此将模型从离散时间域转换到连续时间域,笔者对一个处理自相似业务到达的简单队列系统进行了研究,比较了系统在实际跟踪的仿真情况下和模型数值分析情况下的性能,模型数值分析用无穷状态随机Petri网实现,研究表明:马尔可夫模型虽能较好地近似自相似性,但仍需进行改进。