10.3969/j.issn.1000-3428.2012.20.075
基于CPN的RUDP建模与分析
目前可靠用户数据报协议(RUDP)有许多分析方式,但缺少形式化的模型.针对该问题,运用着色Petri网(CPN)对RUDP进行形式化建模,使用CPN Tools对模型进行仿真,通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质.采用3次不同的实验对模型进行性能分析,实验结果显示,该模型的平均重传率为5%,能够模拟RUDP的行为,为研究RUDP提供一种形式化的方法.
可靠用户数据报协议、滑动窗口、着色Petri网、形式化模型、状态空间报告
38
TP393(计算技术、计算机技术)
2012-12-05(万方平台首次上网日期,不代表论文的发表时间)
共4页
290-293