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