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