Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net

Intelligent Network Management system based on Agent becomes increasingly important autonomous network management research topic. Previous work paid little attention to its formal specification and analysis. Here, an improved Color Petri Net named as Adaptive Colored Petri Net is presented to do such work. Main modifications of the Colored Petri Net lie in two points. Firstly, weight defined in it is adaptively self- selected. Secondly, transition in it is divided into two types: and-t and or-t to simulate practical manage actions. Elements of Intelligent Network Management system such as agent, manage task or executive scheme are packed as color tokens and firing rules are modified to adjust to practical management request. Several characters are shown with property analysis of Adaptive Colored Petri Net. Endeavor we done aims to be good for Intelligent Network Manage system designing and verifying.