CPNTOOLS的网络协议建模与仿真技术研究