论文部分内容阅读
本文利用着色Petri的建模的方法和工具CPNTool，建立了TCP协议数据传输过程的着色Petri网模型，得到模型的了可达树，通过可达树的方法对协议模型的性质进行了分析与验证，从而确定了TCP协议数据传输过程的逻辑正确性。最后通过随机着色Petri网对TCP协议数据传输过程做了定量的性能分析。