文件名称：基于CPN 的RUDP 建模与分析 (2012年)
文件大小：277KB
文件格式：PDF
更新时间：2024-06-10 22:49:49
工程技术 论文
目前可靠用户数据报协议(RUDP)有许多分析方式，但缺少形式化的模型。针对该问题，运用着色Petri 网(CPN)对RUDP 进行形式化建模，使用CPN Tools 对模型进行仿真，通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质。采用3 次不同的实验对模型进行性能分析，实验结果显示，该模型的平均重传率为5%，能够模拟RUDP 的行为，为研究RUDP 提供一种形式化的方法。