基于网络通信协议的随机Petri网建模

摘要：

随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要.Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析.基于两个基本通信协议:stop-wait协议和CSMA/CD协议,用Petri网对他们进行建模与仿真,对于协议开发与验证有重大意义.

关键词：协议工程、随机Petri网、stop-wait协议、CSMA/CD协议

所属期刊栏目：31

分类号：TP393(计算技术、计算机技术)

在线出版日期：2008-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：166-168