%0 Journal Article %A 何中阳 %A 李鸥 %A 杨白薇 %A 刘洋 %T 基于TCPN的TCP协议形式化描述 %D 2011 %R 10.3969/j.issn.1000-3428.2011.18.026 %J 计算机工程 %P 77-80 %V 37 %N 18 %X 提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。 %U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2011.18.026