Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
