节点文献

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

Specification,Verification and Implementation of OSI X.2 5 / FR Gateway Based on High-level Petri Nets Shen Jinlong Pan L i

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 沈金龙； 潘理； 孙亚民；

【Author】 Sun Yamin1 (Department of Computer Science and Technology,NJUPT,Nanjing2 10 0 0 3) (1Departmentof Computer,NUST,Nanjing 2 10 0 94)

【机构】 南京邮电学院计算机科学与技术系!南京210003； 南京理工大学计算机系!南京210094；

【摘要】 在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关

【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.

【关键词】 网络互连； 网关； 协议； Petri网； EPr/TN网系统； 形式化方法；
【Key words】 network interconnection,gateway,protocol； Petri net,EPr/ TN net system,formal method；
【基金】 加拿大北方电信公司资助项目
  • 【文献出处】 南京理工大学学报 ,JOURNAL OF NANJING UNIVERSITY OF SCIENCE AND TECHNOLOGY , 编辑部邮箱 ,1998年06期
  • 【分类号】TP393.02
  • 【被引频次】1
  • 【下载频次】32
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)