Title :
On gateway for internetworking through ISDN: architecture and formal modelling with Petri nets
Author :
Juanole, G. ; Faure, C.
Author_Institution :
Lab. d´´Autom. et Anal. des Syst., Toulouse, France
Abstract :
Two important design steps are presented of a gateway for connecting a local area network (LAN) and a remote computer through an ISDN (integrated services digital network). The first step concerns the specification of the gateway architecture: the inconsistencies have to be considered between the LAN architecture and the communication architecture of the remote computer (which has an ISDN interface). The second step concerns the formal specification of the behavior of the gateway, using Petri nets: this step is essential in order to verify if the specification is complete and correct
Keywords :
ISDN; computer interfaces; local area networks; ISDN; LAN; Petri nets; architecture; gateway; integrated services digital network; internetworking; local area network; specification; Computer architecture; Computer networks; Formal specifications; ISDN; Integrated circuit interconnections; Internetworking; LAN interconnection; Local area networks; Petri nets; Transport protocols;
Conference_Titel :
INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE
Conference_Location :
Ottawa, Ont.
Print_ISBN :
0-8186-1920-1
DOI :
10.1109/INFCOM.1989.101487
