| 基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现 |
| |
| 引用本文： | 沈金龙,潘理,孙亚民.基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现[J].南京理工大学学报(自然科学版),1998(6). |
| |
| 作者姓名： | 沈金龙 潘理 孙亚民 |
| |
| 作者单位： | 南京邮电学院计算机科学与技术系!南京210003(沈金龙，潘理)，南京理工大学计算机系!南京210094(孙亚民) |
| |
| 基金项目： | 加拿大北方电信公司资助项目 |
| |
| 摘 要： | 在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关
|
| 关 键 词： | 网络互连 网关 协议 Petri网 EPr/TN网系统 形式化方法 |
Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i |
| |
| Sun Yamin.Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i[J].Journal of Nanjing University of Science and Technology(Nature Science),1998(6). |
| |
| Authors: | Sun Yamin |
| |
| Abstract: | 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. |
| |
| Keywords: | network interconnection gateway protocol Petri net EPr/ TN net system formal method |
| 本文献已被 CNKI 等数据库收录！ |
