基于颜色Petri网的SPIN协议研究  

Research of SPIN routing protocol based on colored Petri net

作　　者：宋广伟[1] 李向阳[1] 彭学亮[1] 

机构地区：[1]华南理工大学自动化科学与工程学院,广州510641

出　　处：《微计算机信息》2010年第6期98-99,88,共3页Control & Automation

基　　金：项目名称:中央空调系统优化控制与节能关键技术研究;基金颁发部门:国家自然科学基金委(60404013)

摘　　要：在SPIN路由协议的基础上,根据环境监测领域的应用特点,提出一种无线传感器网络的路由协议设计方案。利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证,确定协议的可行性。This introduces a design of routing protocols of wireless sensor network orient environment monitoring, on the basis of SPIN protocol. The properties of the protocol such as the liveness reachability and boundedness were verified by CPN Tools of colored Petri net, so that the protocol＇s feasibility was affirmed.

关 键 词：环境监测 路由协议 SPIN协议 CPN TOOLS 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]