摘要
提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最后，用这种方法分析了Ｘ２５与帧中继之间的协议转换，并建立转换模型。
In this paper, a method of using Petri net to research the conversion between two protocols has been put forward. Based on the protocol primitives, the protocol conversion model can be set up more easily by the rich expression character of Petri net than by finite state machine. The model can be verified by graph theory. Finally, the protocol conversion between X.25 and Frame Relay has been analyzed by this method to set up the conversion model.
出处
《南京邮电学院学报》
1997年第4期8-13,共6页
Journal of Nanjing University of Posts and Telecommunications(Natural Science)
