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

Verification and Performance Analysis TCP Protocol Data Transition Based on Stochastic Colored Petri Net

作　　者：张生财[1] 

机构地区：[1]甘肃政法学院计算机科学学院,甘肃兰州730070

出　　处：《中国电子商情（通信市场）》2012年第2期135-140,共6页

摘　　要：本文利用着色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.

关 键 词：TCP协议 随机着色Petri 性能分析 

分 类 号：TN915.04[电子电信—通信与信息系统]