Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net | IEEE Conference Publication | IEEE Xplore