扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。     

基于DSPN的CSMA/CD的建模和性能分析

近年来，以太网在自动化行业得到了广泛应用，对其MAC层采用的CSMA／CD协议进行性能评价已成为必须。本文基于确定与随机Petri网(DSPN)对CSMA／CD进行了模型抽象，并且利用软件DSPNexpress-NG对该模型进行性能分析，所得结论对以太网组网有较好的参考价值。     

基于CSMA/CD/RR协议的有限缓存排队系统性能分析

提出了一种具有动态分配重传策略的CSMA/CD协议,并利用二维马尔可夫链分析了有限缓冲CSMA/CD/RR协议的性能特性,仿真实验表明,与CSMA/CD协议相比,CSMA/CD/RR协议很好地解决了高负载时的拥塞问题。     

CSMA—SNP/TR协议的性能优化

在传统的CSMA/CD协议的基础上,本文提出了一种性能更佳的优化CSMA-SNP/TR协议,并从理论分析和模拟实验中得到验证.本研究的理论分析以马尔可夫链(Markov Chain)为基础,通过优化数学模型得出一个重要的延迟方程,并以此作为推测到达率的依据.这种以确定的负反馈方式求得的最佳延迟,最大限度地缩短了冲突浪费的时间,系统的吞吐量可达0.97,而延迟比相同负载下CSMA/CD的延迟小得多.模拟实验结果表明,优化CSMA-SNP/TR较为明显地改善了CSMA/CD在重载下的性能,尤以对延迟特性的改善更为显著.     

以太网CSMA/CD工作原理研究

针对目前关于CSMA／CD协议工作过程的不同解释，在CSMA／CD协议概念模型和二进制指数退避算法的基础上，分析了CSMA／CD协议的工作过程，指出了它们之间在解释上的差异，并给出了CSMA／CD协议的正确工作过程。     

PV—CSMA/CD协议支持下的话音和数据综合业务通信

本文讨论优先级CSMA/CD协议支持下,类似以太局部网中的话音和数据综合业务通信性能.文中根据建立的协议模型,模拟分析了话音和数据负载、话音质量等性能参数.     

基于OPNET的CSMA/CD仿真与性能研究

本文针对应用了CSMA/CD协议的总线型局域网进行仿真，研究数据包大小对网络性能的影响。首先介绍了OPNET[1]仿真平台，随后概括说明使用CSMA/CD协议的以太网的碰撞窗口的计算方法，由计算公式推导出发送的数据包越大、使用CSMA/CD协议的以太网性能越高的推论，并使用 OPNET 软件进行了仿真实验证明了推论。     

优先化CSMA/CD协议及其在Ethernet中的实现方案

本文首先详述一个 Ethernet 型局部网的优先化 CSMA/CD协议。该协议修改原来的 Ethernet,使之即便在重信道负载下,仍能传输紧急信息而没有严重的信息延迟。然后在文章第二部份,探讨了该协议的实现方案。     

通信协议形式验证中的Petri网方法

Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

局域网随机访问技术的研究——一种近似性能分析模型

本文对局域网时隙随机访问技术建立了近似的吞吐量及时延分析模型.该模型是建立在系统状态转移时间基础上的,具有物理意义明确、计算简便的特点.文中应用所建模型分别对时隙的Aloha,载波侦听(CSMA)及载波侦听/冲突检测(CSMA/CD)等协议进行了分析计算,并与用其他方法得到的表达式进行了比较.结果表明本文方法是合理和可行的.     

以太网CSMA/CD性能分析

以太网CSMA/CD性能分析的方法很多,但都缺乏较准确地反映系统的性能.本文利用排队论的思想,但又独立于排队模型,从信道的工作状态出发,建立了以太网CSMA/CD信道利用率与站点和帧关系的数学模型,通过仿真分析了以太网CSMA/CD协议的性能.仿真表明所建模型是有效的.     

Petri网的可达图与可达树的比较

Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具,章将展示如何用可产完成Ｐｅｔｒｉ风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具．     

计算机局部网络的访问协议

本文研究了计算机局部网络的五种访问协议:载波监听多次访问/冲突检测(CSMA/CD)访问方式、令牌总线访问方式、令牌环访问方式、时间分段访问方式和查询访问方式。