| 基于TCPN的TCP协议形式化描述 |
| |
| 引用本文： | 何中阳,李鸥,杨白薇,刘洋. 基于TCPN的TCP协议形式化描述[J]. 计算机工程, 2011, 37(18): 77-80 |
| |
| 作者姓名： | 何中阳 李鸥 杨白薇 刘洋 |
| |
| 作者单位： | 解放军信息工程大学信息工程学院,郑州,450002 |
| |
| 基金项目： | 国家“863”计划基金资助项目(2009AA01Z207) |
| |
| 摘 要： | 提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述，引入时间参数以便进行协议的性能评估，加入超时重传、流量控制和确认信息捎带传输等机制，使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟，仿真结果证明了该模型的正确性。
|
| 关 键 词： | TCP协议 赋时着色Petri网 形式化描述 有界性 活性 |
| 收稿时间： | 2011-02-14 |
Formal Description of TCP Protocol Based on Timed Colored Petri Net |
| |
| HE Zhong-yang,LI Ou,YANG Bai-wei,LIU Yang. Formal Description of TCP Protocol Based on Timed Colored Petri Net[J]. Computer Engineering, 2011, 37(18): 77-80 |
| |
| Authors: | HE Zhong-yang LI Ou YANG Bai-wei LIU Yang |
| |
| Affiliation: | HE Zhong-yang,LI Ou,YANG Bai-wei,LIU Yang(Institute of Information Engineering,PLA Information Engineering University,Zhengzhou 450002,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
|
