| 基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模 |
| |
| 引用本文： | 郭希民,吴哲辉,孙锐.基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模[J].计算机工程与应用,2003,39(35):45-48. |
| |
| 作者姓名： | 郭希民 吴哲辉 孙锐 |
| |
| 作者单位： | 山东科技大学信息学院,山东,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金资助项目(编号:60173053) |
| |
| 摘 要： | 该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。
|
| 关 键 词： | 时间Petri网 抑止弧 网络协议 IEEE802.2 LLC 3型协议 |
| 文章编号： | 1002-8331-(2003)35-0045-04 |
| 修稿时间： | 2003年3月1日 |
Modeling of the IEEE802.2 LLC Type 3 Protocol Based on Time Petri Net with Inhibitor Arcs |
| |
| Guo Ximin Wu,Zhehui,Sun Rui.Modeling of the IEEE802.2 LLC Type 3 Protocol Based on Time Petri Net with Inhibitor Arcs[J].Computer Engineering and Applications,2003,39(35):45-48. |
| |
| Authors: | Guo Ximin Wu Zhehui Sun Rui |
| |
| Abstract: | A kind of extended time Petri nets,Time Petri Net with Inhibitor Arcs,is presented in this paper.They can be served as the formal specification tools of communication protocol.As an example,the IEEE802.2LLC type3protocol is simply analyzed,and a formal specification based on Time Petri Net with Inhibitor Arcs for IEEE802.2LLC type3protocol is given. |
| |
| Keywords: | Time Petri net Inhibitor arcs Network protocol IEEE802 2 LLC type3protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
