摘要： 在全面分析OSI参考模型的基础上,建立了OSI服务模型和协议模型;然后介绍了一种高级Petri网,称为EPr/TN网系统,作为OSI网络协议的形式描述工具;最后用EPr/TN网系统形式描述了运输协议,阐明了OSI网络协议形式描述的一般方法.＊

关键词: Petri网, OSI, 协议, EPr/TN网系统, 形式描述

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.