CPN在可靠数据传输机制中的建模探究.pdfVIP

94 系坟仿真技术及其应用．霉7卷 CPN在可靠数据传输机制中的建模研究 王焱 夏梦芹 曾家智 (电子科技太学计算机科学与工程学院，四川，成都．610054) 摘要：本论文在介绍CPN基本概念的基础上，对TCP，nP协议中的可靠数据传骑机刺进行了建模，井对试模型进行了仿真、 仿真蛄果表明，{童模型能够有效地实现网络的可靠数据传精． 关照胡：CPN；可靠数据传播；滑动窗口 CPN Researchof Data Reliable Mechanism Modeling Transport YahXia Zen Jiazhi Wang Mengqin (School Seienoeand ofComputer Abstract：Afterthebasic 0fCPN-This a modelofreliabledata mechanismforTCP／IPand concept Ransport introducing papergives m出esslmuiadonsfor记Thesimuln60nsne☆％smodelcan删ze rellabiedatatransportefficiently． Keywords：CPN：ReliableDataTraBspmt：SlidingWindow 的Pe廿i网来进行建模，可以大大降低模型的复杂性，而 1引言 又易于理解系统。 Adam Petri网理论是1962年CarlPem博士在他的 利用CPN建模具有很多优势：首先，CPN模型是 博士论文中首先提出来的。当时，他利用因果关系对并 对模型化系统的描述，它可以对要构造的系统进行详细 行系统进行了描述。随后Peni的工作引起了欧美学术界 说明，也可以对要加以解释的系统表现形式进行表现。 和工业界的注意。近年来，随着Pe嘶网理论的不断发展， 在构造一个新系统之前，我们可以通过生成一个模型来 其应用范围也越来越广．Petri网已经成为描述和研究具 对其进行考察。这是一个显著的优势，特别是对于某些 有异步、并发、分布、并行和非确定性的信息系统的强 系统，其设计的错误会危及安全性或修改的代价很高。 有力的工具。 其次，CPN模型的运行是可分析的。这可以通过仿真(相 园基本Petri网中对个体的变化细节描述过多，即每 当于程序的执行和调试)或通过更加规范的分析方法(相 一种对象的状态或条件用一个库所表示。每一种变化或 当于程序的证明)来实现。最后，生成描述和进行分析 事件飓一个变迁表示，馒褥实际瘦用时系统节点过多； 的过程通常可以让建横者很快对模蛩化系统有一个更深 另外token的含义比较简单，不利于对系统的理解。为了 刻的理解，而这种理解通常要比描述和分析的结果更有 简化系统模型以及聿富模型的表达能力，人们提出了各 用。正因为以上优点，本文采用CPN对TCPfIP协议的 种高级Peru网．其中