CPN形式化建模适合，包含大量并发，通信，同步共享行为的软硬件系统建立形式模型，并完成系统功能和性能等方面的行为分析。在传统的CPN建模中，令牌的选取采用穷举法，生成的令牌数量庞大，并且CPN模型生成的状态空间相当庞大，甚至状态空间爆炸等问题。针对上述问题，文中提出将符号执行与CPN建模相结合，并在CPN模型的执行过程中文中通过对OpenStack云平台支持创建的单个平面网络进行CPN建模，针对传统方法和此处方法生成状态空间分析了规模的变化，验证了本文提出的方法的有效性