基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于随机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网建模与分析

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型. 根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间. 为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略. 采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.     

基于SPN的LEO卫星网络建模分析

针对LEO(低轨)卫星网络的通信过程建模技术进行了研究,首先建立了LEO卫星网络通信过程的随机Petri网(SPN)模型,然后,在给定参数条件下,通过求解与SPN模型同构的马尔可夫链所对应的线性方程组,得出了性能指标--平均时延、平均吞吐量和LEO卫星节点间带宽利用率的数值大小.所采用的建模与性能评价方法将有助于卫星网络的构建和进一步的性能分析.     

阻塞呼叫控制机理广义随机Petri网建模与分析

基于广义随机Petri网(GSPN),对数字交换机面临过载时的一种阻塞呼叫控制机理进行了描述与分析,建立了其广义随机Petri网模型。通过对模型求解、构造可达图及同构Markov链,推导出了这种控制方式下系统性能的解析结果,给出了它们与控制严密程度之间的关系,从而为定量分析和评价数字交换机过载控制特性提供了依据。     

广义随机Petri网对交换机过载控制机理研究

在分析阻塞呼叫控制机理的基础上,用广义随机Petri网(GSPN)对数字交换机中另一种常用过载控制机理——延时呼叫控制,进行了描述与分析,建立了其GSPN模型。通过对模型求解,得出了采用控制后系统性能的解析表达式,以及与控制严密程度之间的关系,从而定量分析并评价了这种控制机理的控制特性。最后,对两种控制机理的结果进行了比较。     

业务流程中冲突现象的解决与性能分析

提出基于Petri网刻画的业务流程的活动关系．引入虚拟变迁对冲突关系进行解决．利用随机Petri网技术,构造与所建立的随机Petri网系统相对应的马尔可夫链,以便对系统性能进行分析。     

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

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

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。     

无线传感器网络中的S—MAC协议性能

为了研究无线传感器网络中S(Sensor)-MAC的协议性能以及协议参数的变化对协议性能的影响,提出了基于马尔可夫链的分析模型.根据S-MAC协议中的退避机制建立了一维马尔可夫链,以研究网络中单个节点的行为;根据协议的周期特性研究了整个网络的行为,从而计算协议在不同占空比下的能耗、吞吐量和时廷.仿真结果表明:分析模型能够准确地评估S-MAC协议的各项性能,定量分析能耗和其他性能之间存在的权衡问题,并为如何选取合适的协议参数提供了理论依据.