Modeling and Analysis of an IPv4-IPv6 Address Translation System

With the development of IPv6, several IPv6-IPv4 translation systems for communicating between IPv6 networks and IPv4 networks have been proposed. The paper presented an IPv4-IPv6 translation mechanism by using network Address. Also, the IPv4-Pv6 translation system is modelling based on Petri nets. By analyzing the boundedness, liveness and reversibility of the model, the proposed IPv4-IPv6 translation method is feasible and satisfies system security requirements