摘要
本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具.然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一般方法.最后,对协议的有界性。
This paper completely analyzes the OSI Reference Model and introduces a high-level Petri net called EPr/T net system,which is served as the formal specification tool of OSI network protocol.Afterwards,a formal specification of(N)protocol using EPr/T net system is given,and the general methods for the specification of OSI network protocol are outlined.At last,it is verified that the protocol has the properties of boundedness,liveness,reversibleness and etc.
出处
《计算机学报》
EI
CSCD
北大核心
1994年第8期588-595,共8页
Chinese Journal of Computers