| 基于网络通信协议的随机Petri网建模 |
| |
| 引用本文： | 张雅晖,胡晓晖,高杰. 基于网络通信协议的随机Petri网建模[J]. 现代电子技术, 2008, 31(3): 166-168 |
| |
| 作者姓名： | 张雅晖 胡晓晖 高杰 |
| |
| 作者单位： | 兰州交通大学,甘肃,兰州,730070 |
| |
| 摘 要： | 随着计算机网络协议的广泛度和复杂度的增加,协议的形式化工作显得越来越重要.Petri网与其他形式化建模技术相比,具有特别的优越性,更加适用于通信协议的仿真与性能分析.基于两个基本通信协议:stop-wait协议和CSMA/CD协议,用Petri网对他们进行建模与仿真,对于协议开发与验证有重大意义.
|
| 关 键 词： | 协议工程 随机Petri网 stop-wait协议 CSMA/CD协议 网络协议 通信协议 随机 Petri Net 建模与仿真 Communication Protocols Based Modeling 意义 开发与验证 CSMA 性能分析 建模技术 工作 形式化 复杂度 广泛度 计算机 |
| 文章编号： | 1004-373X（2008）03-166-03 |
| 收稿时间： | 2007-08-14 |
| 修稿时间： | 2007-08-14 |
Stochastic Petri Net Modeling Based on Communication Protocols |
| |
| ZHANG Yahui,HU Xiaohui,GAO Jie. Stochastic Petri Net Modeling Based on Communication Protocols[J]. Modern Electronic Technique, 2008, 31(3): 166-168 |
| |
| Authors: | ZHANG Yahui HU Xiaohui GAO Jie |
| |
| Abstract: | |
| |
| Keywords: | protocol engineering stochastic Petri net stop - wait protocol CSMA/CD protocol |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
