基于Petri网的网络传输协议建模与性能分析

摘要：

　　本文提出了基于Petri网的网络传输协议建模及其性能分析方法，以TCP传输控制协议为例，采用Petri网对其数据传输阶段进行形式化描述，通过可达树方法对模型进行验证，并利用随机Petri网分析协议的部分性能指标。提出的方法有助于对网络传输协议的全面理解，而计算得出的性能指标能够很好地应用于协议的研究和验证。

关键词： 网络传输协议 数据传输 性能指标 Petri网

作者: 王小梅 李新明 刘东 韩星晔

作者单位: 装备指挥技术学院，北京 101416 中国人民解放军93498部队 装备指挥技术学院，北京 101416

会议类型: 国内会议

会议名称: 第四届全国信号和智能信息处理与应用学术会议

会议地点: 上海

会议语种:中文

页码: 70-72

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