Petri网在帧中继与X.25协议转换中的应用 |
| |
引用本文: | 黄晨炜,沈金龙.Petri网在帧中继与X.25协议转换中的应用[J].南京邮电大学学报(自然科学版),1997(4). |
| |
作者姓名: | 黄晨炜 沈金龙 |
| |
作者单位: | 南京邮电学院计算机科学与技术系 |
| |
摘 要: | 提出了一种用Petri网研究两种协议转换的方法。在两个协议提供原语的基础上,利用Petri网丰富的描述特性建立转换模型,与用有限状态机建立转换模型相比,简化了过程。在Petri网的基础上,利用图论方法论证其正确性。最后,用这种方法分析了X25与帧中继之间的协议转换,并建立转换模型。
|
关 键 词: | 协议转换,协议变换器,Petri网,X.25帧中继 |
Application of Petri Net Analysis in Protocol Conversion between Frame Relay and X.25 Network |
| |
Abstract: | |
| |
Keywords: | Protocol conversion Protocol converters Petri networks X 25 Frame relay |
本文献已被 CNKI 等数据库收录! |