基于CPN的RUDP建模与分析

• 作者: 卢雷 赵福奎
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 可靠用户数据报协议 滑动窗口 着色Petri网 形式化模型 状态空间报告
• 年，卷（期）: 2012,（20）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 290-293
• 分类号: TP393
• 字数: 5133字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.20.075

摘要

目前可靠用户数据报协议(RUDP)有许多分析方式,但缺少形式化的模型.针对该问题,运用着色Petri网(CPN)对RUDP进行形式化建模,使用CPN Tools对模型进行仿真,通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质.采用3次不同的实验对模型进行性能分析,实验结果显示,该模型的平均重传率为5％,能够模拟RUDP的行为,为研究RUDP提供一种形式化的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢雷	山东大学计算机科学与技术学院	23	153	7.0	11.0
2	赵福奎	山东大学计算机科学与技术学院	1	2	1.0	1.0