| 基于高级Petri网的OSI网络协议形式描述 |
| |
| 引用本文： | 顾冠群 罗军舟. 基于高级Petri网的OSI网络协议形式描述[J]. 计算机工程, 1993, 19(4): 47-51 |
| |
| 作者姓名： | 顾冠群 罗军舟 |
| |
| 作者单位： | 东南大学(顾冠群)，东南大学(罗军舟) |
| |
| 摘 要： |
|
| 关 键 词： | Petri网 OSI 形式描述 网络协议 |
A FORMAL SPECIFICATION OF THE OSI NETWORK PROTOCOL USING HIGH-LEVEL PETRI NETS |
| |
| Gu Guanqun et al.. A FORMAL SPECIFICATION OF THE OSI NETWORK PROTOCOL USING HIGH-LEVEL PETRI NETS[J]. Computer Engineering, 1993, 19(4): 47-51 |
| |
| Authors: | Gu Guanqun et al. |
| |
| Affiliation: | Gu Guanqun et al. |
| |
| Abstract: | A thorough analysis of OSI Reference Model is made before OSI service model and protocol model are set up. A high-level Petri net called EPr/ TN net system is introduced to serve as a formal specification tool for OSI network protocol. The formal spaciflcation of transport protocol using EPr / TN net system is given, and the general methods for the formal specification of OSI network protocol are outlined. |
| |
| Keywords: | Petri net / OSI / protocol / EPr / TN net system / formal specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
