基于随机着色Petri网的TCP数据传输验证和性能分析 - 2012(第五届)全国网络与信息安全学术会议.pdf

该论文基于随机着色Petri网对TCP数据传输过程进行了建模与分析，旨在验证其正确性并评估性能。通过引入随机着色机制，模型能够更准确地反映网络环境中的不确定性因素。研究结果表明，该方法有效提高了TCP协议在复杂网络环境下的可靠性和效率，为网络协议的验证与优化提供了新思路。

文档为pdf格式，0.26MB，总共6页。

2025-12-14 17:00 上传 基于随机着色Petri网的TCP数据传输验证和性能分析 - 2012(第五届)全国网络与信息安全学术会议.pdf

文件大小:

266.24 KB

下载次数:

60

基于随机着色Petri网的TCP数据传输验证和性能分析 - 2012(第五届)全国网络与信息安全学术会议.pdf ...

高速下载