首页> 中文会议>2012（第五届)全国网络与信息安全学术会议 >基于随机着色Petri网的TCP数据传输验证和性能分析

基于随机着色Petri网的TCP数据传输验证和性能分析

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文利用着色Petri网的建模的方法和工具CPN Tool,建立了TCP协议数据传输过程的着色Petri网模型,得到模型的了可达树,通过可达树的方法对协议模型的性质进行了分析与验证,从而确定了TCP协议数据传输过程的逻辑正确性.最后通过随机着色Petri网对TCP协议数据传输过程做了定量的性能分析.

著录项

来源
《2012（第五届)全国网络与信息安全学术会议》|2012年|135-140|共6页
会议地点北京
作者
Zhang Shengcai; 张生财;
展开▼
作者单位

中国电子学会;

北京信息产业协会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
网络协议; 数据传输; 性能指标; 网络建模;

相似文献

中文文献
外文文献
专利

1. 基于着色Petri网的TCP协议的形式化描述及验证 [J] . 李菲 . 现代计算机（专业版） . 2009,第006期
2. 一种随机着色Petri网及模型的性能分析 [J] . 王继曾 ,张彦龙 ,罗靖宇 . 计算机应用 . 2008,第002期
3. 基于广义随机Petri网的SIP的验证和性能分析 [J] . 杨鹏 ,袁占亭 ,王继曾 . 系统仿真学报 . 2007,第A01期
4. 无线网络中TCP/NC协议性能分析与仿真验证 [J] . 葛卫民 ,朱海颖 ,李娟 . 计算机工程 . 2015,第006期
5. TCP在数据包随机延迟网络中的性能分析 [J] . 徐伟 ,许胤龙 ,林晓斌 . 中国科学技术大学学报 . 2012,第002期
6. 基于广义随机Petri网的SIP的验证和性能分析 [C] . 杨鹏 ,袁占亭 ,王继曾 . 第十一届全国Petri网理论与应用学术年会 . 2007
7. 基于分层着色Petri网的Web服务组合性能分析 [A] . 刘江 . 2015

基于随机着色Petri网的TCP数据传输验证和性能分析

摘要

著录项

相似文献

相关主题

期刊订阅