【摘要】 本文首先介绍了 ISDN 网络层协议的功能及试验模型的功能块连接,并示出了ISDN 的电路交换呼叫程序.然后,介绍一些 Petri 网的基本概念,利用 Petri 网对TSDN 网络层协议进行模型化,并对模型进行带先进先出(FIFO)信道的可达性分析,得出一些验证结论.同时,指出该分析方法的一些局限性,并提出一些相应的解决策略.更多还原

【Abstract】 This paper firstly describes the functions of ISDN Network layer protocol and the connection of functional units in our implementation.Then,we introduce some basic concept of Petri Net and model the ISDN layer 3 protocol with Petri Net.Moreover,we use rcachability analysis to verificate this model which has First In First Out(FIFO)channels.Some defects for this method to analyze protocol is pointed out and some relief strategies are given.更多还原