Petri网在帧中继与X.25协议转换中的应用

提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最后，用这种方法分析了Ｘ２５与帧中继之间的协议转换，并建立转换模型。