CPN分析工具相关硕士博士期刊学术论文 - 搜论网

CPN分析工具相关论文

基于有色Petri网的SPIN协议建模与分析

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义。形式化建模是分析验证网络协议的一种有效方法。使用形......

期刊

SPIN协议有色PETRI网建模 CPN分析工具形式化分析 SPIN colored Petri net modeling CPN tools forma

无线传感器网络SPIN协议的改进及验证

在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适......

期刊

有色Petri网 SPIN协议 SPIN-E协议建模 CPN分析工具

看过本文同时还关注