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

作者：徐誉尹; 吴哲辉tcp协议三次握手颜色petri网

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社