Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net. - Feng Yu; Junzhou Luo; Wei Li 017; La-Lin Jiang (NAS, 2009)