摘要
在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 。
The X.2 5 / FR gateway is constructed according to the corresponding OSI protocols.A high- level Petri net called EPr/ TN net system is introduced as a formal specification tool to establish the system model of the gateway.The specification,analysis and verification of the protocol convertion and data transmission are given.Based on the model,the gateway is implemented.
出处
《南京理工大学学报》
EI
CAS
CSCD
1998年第6期532-535,共4页
Journal of Nanjing University of Science and Technology
基金
加拿大北方电信公司资助项目
关键词
网络互连
网关
协议
PETRI网
EPr/TN网系统
network interconnection
gateway
protocol
Petri net
EPr/ TN net system
formal method
