On gateway for internetworking through ISDN: architecture and formal modelling with Petri nets | IEEE Conference Publication | IEEE Xplore