Protocol converter between mobile IP and WATM wireless networks

Abstract

This paper is concerned with the problem of designing and verifying internetworking protocol converters on the basis of timed Petri nets. The Petri net protocol conversion designated between the Mobile Internetworking Protocol (Mobile IP) and the Wireless Asynchronous Transfer Mode (WATM) protocol is investigated. Due to protocol complexity in this case, we propose a routing arrangement scheme for either protocol and for the intended protocol converter, in order to facilitate the derivation of the various traces involved. Petri net-based converter between Mobile IP and WATM protocols is constructed and verified. The converter is verified by simulation to guarantee liveness, safety, and responsiveness.