Feng Yu, Junzhou Luo, Wei Li, La-Lin Jiang. Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net. In International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China. pages 200-203, IEEE Computer Society, 2009. [doi]
Abstract is missing.