摘要
在全面分析OSI参考模型的基础上,建立了OSI服务模型和协议模型;然后介绍了一种高级Petri网,称为EPr/TN网系统,作为OSI网络协议的形式描述工具;最后用EPr/TN网系统形式描述了运输协议,阐明了OSI网络协议形式描述的一般方法.*
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1993年第4期47-51,共5页
Computer Engineering
关键词
PETRI网
OSI
形式描述
网络协议
Petri net / OSI / protocol / EPr / TN net system / formal specification