基于Petri网的无线自组织覆盖网络引导索引机制分析

为有效解决覆盖网络与无线自组织网络的协同问题,依据无线自组织覆盖网络模型,在移动节点本地路由的基础上,根据覆盖网络全局分布式算法提出引导索引机制(KIM),综合考虑节点所处的网络环境和本身状态,将运行在逻辑命名空间的覆盖网络协议和无线自组织网络路由协议相结合,以适应移动节点和网络拓扑的动态变化.利用Petri网对其进行形式化描述和建模,结果表明了KIM的正确性和完备性,在不增加额外开销的情况下,能进行可扩展、高效的节点查找定位和通信,适应动态的无线自组织网络环境.