基于规则专家系统的广义随机Petri网仿真分析模型

利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模,将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中,通过对该模型的计算机仿真分析,可对系统的可靠性及性能进行评价。     

基于广义随机Petri 网的供应链建模与分析

考察了基于广义随机Petri网的供应链建模与分析技术,在总结Petri网建立供应链模型优势的基础上,将广义随机Petri网(GSPN)的基本理论应用于供应链系统的建模和性能分析,利用GSPN与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的供应链性能分析方法,为供应链性能的有效评估提供了理论依据,并通过实例验证,该方法可用于分析供应链模型的时间性能和运作效率,为供应链决策层提供参考.     

基于广义随机Petri网的再制造供应链建模与性能分析

为分析再制造供应链的性能,采用了基于广义随机Petri网的建模分析方法,并根据广义随机Petri网与马尔可夫链的同构关系,将广义Petri网模型转化为等价的马尔可夫链模型.通过马尔可夫链及相关数学方法得出再制造供应链的主要性能指标.该方法不仅可以分析整个再制造供应链的性能,还能对各个环节的运作效率做定量分析,为再制造供应链回收再制造模式的选择提供了一个思路.     

基于广义随机Petri网的城市道路公交优先建模与性能研究

针对当前城市道路网存在的交通拥堵问题,根据城市地面交通的特点和公交优先的原则,利用广义随机Petri网通过将变迁分为时间变迁和瞬时变迁,结合禁止弧和赋予各弧不同的优先权, 构建公交优先策略模型,为实施公交优先策略提供理论依据.     

基于广义随机Petri网的SIP的验证和性能分析

在给出会话初始化协议（SIP）的服务工作过程的基础上,建立了SIP的广义随机Petri网模型（GSPN）,利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。     

基于确定随机Petri网的AFDX航电系统建模研究

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。     

随机Petri网仿真分析方法的研究

本文主要讨论的是用计算机仿真技术作为随机Ｐｅｔｒｉ网分析工具的新方法，介绍了用ＧＰＳＳ程序块来仿真一个随机Ｐｅｔｒｉ网的模型。并给出了用这种方法分析通信模型的实例。     

计算网格任务调度的随机高级Petri网模型与分析

针对一种包含全局调度器和本地调度器的分布式计算网格体系结构,建立了该系统的随机高级Petri网（SHLPN）模型,并进行了模型精化设计以降低模型求解的复杂性,使用基于SHLPN的性能分析技术,对一种基于优先级的任务调度综合控制策略进行了性能分析与评价,数值结果显示了基于SHLPN的建模和分析方法的有效性。     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

基于事件调度的随机Petri网仿真

当随机Petri网时间变迁的延迟时间分布为非指数分布时，随机Petri网就不再与马尔可夫链同构，不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法，该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算，实例分析证明该仿真算法的有效性。     

Petri网及其随机Petri网的性能分析方法

本文研讨和实现基于Ｐｃｔｒｉ网及其随机Ｐｃｔｒｉ网的性能分析方法。文中在Ｐｃｔｒｉ网基本概念的基础上，给出了若干Ｐｃｔｒｉ网典型的模型，讨论了Ｐｃｔｒｉ网的分析方法和分析性质。在此基础上，给出了随机Ｐｃｔｒｉ网和离散时间随机Ｐｃｔｒｉ网的定义，用实例描述了性能分析方法。     

通信网络可靠性分析的GOOPN模型

提出了一种用于分析通信网可靠性的扩展的面向对象的Petri网模型 (GeneralizedObject-OrientedPetriNet,GOOPN)。该模型可以统一处理网络的端端可靠度、K端可靠度及全端可靠度问题 ,而且能方便地考虑有限维修人资源、维修申请排队及维修优先权等复杂情况。给出了GOOPN的形式定义及运行规则。     

基于GSPN的供应链产品成套性建模与分析

针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。     

基于随机赋时Petri网的车辆交通系统建模与仿真

针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达（离开）道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路口的车流动态过程,可以为交通调度算法提供了实验平台。     

Modeling for parallel scheduling and performance evaluation of MANET using stochastic Petri nets

In this paper, Petri nets technique is introduced into mobile ad hoc networks (MANET) and a packet-flow parallel scheduling scheme is presented using Stochastic Petri Nets (SPN). The flowing of tokens is used in graphics mode to characterize dynamical features of sharing a single wireless channel. Through SPN reachability analysis and isomorphic continuous time Markov process equations, some network parameters, such as channel efficiency and, one-hop transmission delay, can be obtained. Compared with Those of The conventional performance evaluation methods, the above parameters are mathematical expressions instead of test results from simulator.     

广域Web集群的随机高级Petri网模型及性能分析

广域Web服务器集群是由多个局域Web服务器集群在Intemet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段.基于随机高级Petri网的性能建模与分析技术,提出了一种广域Web服务器集群的随机高级Petri网模型;对模型进行了精化设计以简化模型求解的复杂性;研究了广域Web服务器集群的多级负载均衡综合方案,包括广域集群级的集群站点选择算法、局域集群级的请求分配算法和服务器级的请求调度算法,这些算法可以一致地综合在随机高级Petri网模型中;并且利用随机高级Petri网的性能分析技术对负载均衡综合策略进行了性能分析与评价.     

结合Petri网和UML的用户交互行为建模研究

Petri网和统一建模语言是当前两种非常流行、功能强大的用户交互行为建模工具。认为Petri网便于定量描述,可以动态运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够;提出结合两者的优点,对用户交互行为进行建模;并以自动柜员机为例,建立了密码输入和验证过程的用例图、状态图、活动图、顺序图、协作图和Petri网模型。该实例不失一般性,研究成果对于建立其它类型的用户交互行为模型有相当的借鉴意义。     

基于混合Petri网的城市交通网络建模与仿真

提出了一种基于混合Petri网的面向控制的模块化信号控制城市交通网络仿真模型.采用层次化的建模方法:首先建立交通网络的轮廓模型,然后对轮廓模型中描述交通网络的关键要素(如交叉口、信号灯等)部位给出加细模型.这种建模方法清晰地描述了各个行驶方向的交通流在交叉口处的转向以及可能出现的冲突情况.此外,将时间因素加入系统模型中,使模型不仅能够反映交通流之间的逻辑关系,而且对车辆的位置、速度、通过时问等物理因素进行描述和计算.这样,就可以对各种具体的信号配时方案的性能指标进行比较和评估,以便找出最优或比较理想的交通控制方案.最后,通过一个仿真实例对系统模型的运行进行计算机仿真.     

基于随机规划的制造/再制造物流网络优化设计

针对含有连续型随机参数的制造/再制造物流网络优化设计问题,在Monte Carlo模拟抽样基础上,建立了样本数量决定解算效率的两阶段随机规划模型,给出了模型求解的混合遗传算法,结合样本均值近似方法阐述了获取理想目标值及其可行解的最优值上下界逼近技术,明确了基于两阶段随机规划的物流网络优化设计步骤,举例说明了模型及其算法在设计决策中的应用。