现如今,WCDMA协议已经成为了两大主流通信体制的一部分并越来越受到人们的关注。而对于无线通信系统来说,呼叫流程能否成功建立是一个很关键的问题,可以称得上是整个通信系统的最基本过程。所以对WCDMA协议信令流程中有关呼叫建立与释放流程的形式化模型进行分析,以检验该协议流程的模拟分析是否符合预期,将有助于整个系统的建立与维护。这对于推动第三代移动通信系统产业链的发展具有十分重要的意义。鉴于上述的现状分析,本文主要研究基于Coloured Petri Nets及其仿真工具CPN-Tools的WCDMA协议呼叫流程形式化模型的建立,随后对建立起的模型进行模拟并做了基本属性的分析。具体过程为：首先使用CPN建模工具对WCDMA协议呼叫建立和释放流程进行了层次化建模,之后对该模型进行模拟运行并生成对应的状态空间报告,然后将模拟生成的完全状态空间与该CPN模型的运行结果进行比较,观察状态空间报告是否与协议模型运行结果统一,以检验协议模型是否符合预期。最终,在避免了空间爆炸的前提下,得到了满足论文需求且结构相对精简、功能相对完善的协议模型。