| 应用Petri网对CSMA/CD的描述及分析 |
| |
| 引用本文： | 徐志农,苏运霖.应用Petri网对CSMA/CD的描述及分析[J].暨南大学学报,1988(1). |
| |
| 作者姓名： | 徐志农 苏运霖 |
| |
| 作者单位： | 暨南大学计算机科学系，暨南大学计算机科学系 研究生 |
| |
| 摘 要： | Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面完成的,即加入了禁止弧和时间的概念。通过使用可达图(树)和时间可达图等分析技术,介绍了CSMA/CD的一些重要性质。
|
| 关 键 词： | CSMA/CD协议 Petri网 |
SPECIFICATION AND AN ALYSIS OF CSM A/CD USING PETRI NETS |
| |
| Xu Zhinong,Su Yunlin.SPECIFICATION AND AN ALYSIS OF CSM A/CD USING PETRI NETS[J].Journal of Jinan University(Natural Science & Medicine Edition),1988(1). |
| |
| Authors: | Xu Zhinong Su Yunlin |
| |
| Institution: | Dept. of Computer Science JU. |
| |
| Abstract: | Petri nets have been successfully used to model, validate and evaluate the performance of communications protocols. In this paper, we use extended Petri nets with inhibitor arcs and time to study the performance of CSMA/CD protocols. The teckniques of Reachability Graph and Timed Reachability Graph are presented. Some important characters of CSMA/CD are investigated. |
| |
| Keywords: | CSMA/CD protocol Petri nets |
| 本文献已被 CNKI 等数据库收录！ |
