In: IEEE INFOCOM'89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging? 1989, Ottawa, Ont., Canada; Vol. 2, pages 458-467. Washington, DC, USA: IEEE Comput. Soc. Press, 1989.
Abstract: Two 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: gateway; ISDN; LAN.