Verification of interworking protocol of B-ISDN and PSPDN

Considering the current scale of the PSPDN network infrastructure, the implementation of a completely new network is not economically acceptable. For the economical and efficient development of the future network infrastructure, it is essential to develop internetworking strategies between B-ISDN and PSPDN at the current developmental stage of the B-ISDN. This paper describes the design and verification of the interworking protocol between the B-ISUP of the B-ISDN and the X.75 of the PSPDN. For the verification, the designed interworking protocol is modeled by the predicate/action net derived from the Petri net and the model is analyzed by a reachability tree.