On gateway for internetworking through ISDN: architecture and formal modelling with Petri nets
Guy Juanole, Cécile Faure · 1989
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.>