| 基于高级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 |
| |
| 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 维普 等数据库收录！ |
