基于颜色Petri网的TCP协议模拟和分析

摘要：

TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对协议中各种动态关系有较好的刻画,分析了协议的不足,减少了利用一般Petri网系统(如P/T系统)模拟复杂系统的难度。

关键词： TCP协议 三次握手 颜色Petri网 网络传输协议

作者: 徐誉尹 吴哲辉

作者单位: 山东科技大学,信息科学与工程学院,山东,青岛,266510

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 62-65

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）