Verification of interworking protocol of B-ISDN and PSPDN

Author

Park, Seok Cheon ; Lee, Bong Young ; Yang, Yong Seok ; Park, Seong Jea

Author_Institution

Dept. of Comput. Sci., Kyungwon Univ., South Korea

Volume

2

fYear

1997

Firstpage

645

Abstract

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

Keywords

B-ISDN; Petri nets; data communication; internetworking; open systems; packet switching; protocols; reachability analysis; B-ISDN; B-ISUP; OSI reference model; PSPDN; Petri net; X.75; data networks; interworking protocol verification; network infrastructure; packet switching; predicate/action net; reachability tree; Asynchronous transfer mode; B-ISDN; Computer science; Electronic mail; Integrated circuit interconnections; Internetworking; Protocols; Signal mapping; Telecommunication control; Telecommunication traffic;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '97. IEEE Region 10 Annual Conference. Speech and Image Technologies for Computing and Telecommunications., Proceedings of IEEE

Conference_Location

Brisbane, Qld.

Print_ISBN

0-7803-4365-4

Type

conf

DOI

10.1109/TENCON.1997.648503

Filename

648503