首页> 中文期刊> 《中国电子商情·通信市场》 >基于随机着色Petri网的TCP数据传输验证和性能分析

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

         

摘要

本文利用着色Petri的建模的方法和工具CPNTool,建立了TCP协议数据传输过程的着色Petri网模型,得到模型的了可达树,通过可达树的方法对协议模型的性质进行了分析与验证,从而确定了TCP协议数据传输过程的逻辑正确性。最后通过随机着色Petri网对TCP协议数据传输过程做了定量的性能分析。%Colored Petri Nets and CPN tools are used to build a formal model of TCP data transition model. We get the reachability tree of the model, and validate the logic correctness of TCP data transition by the method - Reachability Tree of Petri Net. Lastly, we use Stochastic Colored Petri Nets to make a quantitative performance analysis about the model of the TCP data transition.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号