By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Feng Yu ; Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China ; Junzhou Luo ; Wei Li ; La-Lin Jiang

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.

Published in:

Networking, Architecture, and Storage, 2009. NAS 2009. IEEE International Conference on

Date of Conference:

9-11 July 2009