Petri Net Simulation and Analysis of Network Management Based on Mobile Agent Technology