CPN Modeling and Analysis of HMIPv6

Author

Peng, Lei ; Wu, Lei ; Ye, Yalan ; Yu, Fengqi ; Yuan, Hai

Author_Institution

Univ. of Electron. Sci. & Technol. of China, Chengdu

fYear

2007

fDate

20-24 March 2007

Firstpage

68

Lastpage

73

Abstract

Hierarchy Mobile IPv6 (HMIPv6) is a scheme for micro mobility management to help basic Mobile IP reduce the signal cost and the packet loss during the periods of handover. In this paper, we describe and analyze the protocol based on, instead of the conventional ways of message sequence charts, but the Colored Petri Net (CPN). CPN is suitable to model a system from the dynamic perspective and has the ability to analyze it in a formal way. The CPN based modeling of HMIPv6 is built in this paper, highlighting the mechanism of packet forwarding and micro mobility management. The model is also analyzed by means of the occurrence graph (OG), through which we find an exceptional state would cause packet loss in the seamless handover algorithm used in HMIPv6.

Keywords

Petri nets; mobile radio; packet radio networks; protocols; telecommunication network management; HMIPv6; colored Petri net modeling; hierarchy mobile IPv6; message sequence charts; micro-mobility management; occurrence graph; packet forwarding; protocol; Access protocols; Atomic layer deposition; Computer science; Costs; Internet; Mobile computing; Mobile radio mobility management; Power system modeling; Signal analysis; State-space methods; Colored Petri Net; Fast Handover; Hierarchy Mobile IPv6; Micro Mobility Management; Occurrence Graph;

fLanguage

English

Publisher

ieee

Conference_Titel

Integration Technology, 2007. ICIT '07. IEEE International Conference on

Conference_Location

Shenzhen

Print_ISBN

1-4244-1092-4

Electronic_ISBN

1-4244-1092-4

Type

conf

DOI

10.1109/ICITECHNOLOGY.2007.4290396

Filename

4290396