摘要：文章以随机petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综合信息。

摘要：给出了一个判定基于随机petri网(SPN)的乘积形式解存在的定理。利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率。

摘要：基于模型的分析技术在系统研究和设计中发挥着重要作用,它具有简单灵活、可扩展性强、高效等优点,其中随机petri网在性能评价方面得到了广泛的应用。使用随机petri网为高性能计算机的作业调度系统进行抽象和建模,并将其与InfiniBand网络互连结构相结合来整体分析用户作业的延迟等性能指标。实验表明,该方法是可行的,且具有相对较高的精度。

摘要：软件可靠性模型对于软件可靠性估测起着核心作用。目前提出的模型大多数都不能很好的适应复杂多变的应用环境的要求。针对构件化软件提出了一种基于随机petri网的软件可靠性分析方法,它符合尽可能在软件开发的上游阶段对软件进行可靠性评估的思想。使用该方法建立起的模型可以很好的描述软件系统的动态变化过程,尽可能多的考虑了影响软件可靠性的因素,有利于降低软件可靠性描述与分析的复杂度,并可以得到软件系统处于各个状态的瞬时及稳态概率。

摘要：CTCS-3级列车运行控制系统利用GSM-R网络进行车地间连续、双向的安全信息传输。而GSM-R系统采用硬切换技术,切换时必然会产生短暂的通信中断,这就会影响列车控制类数据传输业务。为保证安全数据传输的可靠性,迫切要求更短的切换时间和更高的切换成功率。对此,建立GSM-R系统越区切换的随机petri网模型,分析影响越区切换成功率的因素,并利用MATLAB仿真得到列车运行速度、越区切换中断时间以及列车追踪间隔与越区切换成功率的关系;最后说明列车在350 km/h和430 km/h速度下运行时,越区切换成功率是否满足CTCS-3级系统需求标准要求。

摘要：细胞的行为是随机性的,学习细胞中的随机性有助于理解细胞的组织,设计和进化。建立、确认和分析随机的生化网络模型是当前计算系统生物学领域的一个重要研究主题。当前,标准的petri网模型已经成为生化网络模拟和定性分析的有力工具。尝试使用随机petri网对生化网络进行建模与分析,简单描述了随机petri网理论对标准petri网的扩充,通过对二聚作用和肌动蛋白这两个典型例子的建模与演化模拟,介绍、论证了随机petri网理论的新应用。

摘要：为解决petri网的最优路径寻找问题,在分析了随机petri网(Stochastic petri Net,SPN)中各个变迁实施时刻的分布规律之后,提出了一种计算任意网型变迁时间概率分布的方法.在对SPN分析的基础上,基于蚁群算法设计了一种在SPN中使用的各个网元素数据结构,提出了一种在SPN中更有效率的路径寻优方法.仿真结果表明,此路径寻优方法对时间延迟具有更高的灵敏度,对路径选择具有更高的准确性.

摘要：首先建立了基于随机petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素。其次,说明了随机petri网与马尔可夫链的关系,以及使用马尔可夫链分析"GSM-R越区切换的随机petri网模型"的方法。最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高。

摘要：简述了利用随机petri网进行维修质量管理组织结构建模的方法.根据实际需求,建立了2种组织结构形式的仿真模型.以模型为基础,对维修质量管理组织结构的静态结构和动态行为进行了研究,解决了维修质量管理组织结构的优选问题,对组织结构设计具有一定的指导作用.

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