Protocol Converter between Mobile IP and WATM Wireless Networks
Dina M. Ibrahim

Dina M. Ibrahim, Department of Information Technology, College of Computer, Qassim University, Qassim, Saudi Arabia.
Manuscript received on 18 December 2018 | Revised Manuscript received on 27 December 2018 | Manuscript published on 30 December 2018 | PP: 1-6 | Volume-8 Issue-2, December 2018 | Retrieval Number: B5506128218/19©BEIESP
Open Access | Ethics and Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC-BY-NC-ND license (

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
Keywords: Mobile IP, Petri Nets, Protocol Converters, Wireless Network Protocols

Scope of the Article: WSN