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

• 作者: 张雅晖 胡晓晖 高杰
• 来源期刊: 现代电子技术
• 关键词: 协议工程 随机Petri网 stop-wait协议 CSMA/CD协议
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 电子技术
• 页码范围: 166-168
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2008.03.058

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡晓晖		5	27	3.0	5.0
2	张雅晖		2	1	1.0	1.0
3	高杰		2	4	1.0	2.0