基于有色Petri网的网络化传感系统研究  

Research of Network Sensors System Based on Colored Petri Nets

作　　者：程学珍[1,2] 刘建航[1,2] 白星振[1,2] 冯翠萍[1,2] 

机构地区：[1]山东科技大学电气与自动化工程学院,青岛266590 [2]山东科技大学矿山灾害预防控制省部共建国家重点实验室培育基地,青岛266590

出　　处：《自动化与仪表》2015年第9期29-32,共4页Automation & Instrumentation

基　　金：国家自然科学基金重点项目(U1261205);中国博士后科学基金项目(2014M551934);山东省大型科学仪器设备升级改造项目(2013SJGZ05)

摘　　要：为提高传感器网络兼容性和互换性,构建了一种基于IEEE 1451的通用网络化传感系统模型,能够实现传感器的即插即用。基于Petri网建立模型,利用CPN Tools对其进行形式化建模、分析和验证。结果表明,该系统的有界性、活性等特性均可用,可实现网络化传感系统快速化、标准化的建立。所建立的系统模型能够为研制工业现场中所需要的具体的网络化智能传感器提供理论依据,能更好地实现其系统网络兼容性和互换性等特性,可以在各领域广泛地应用。To improve the network compatibility and interchangeability of networked sensor systems,a general model of network sensor system based on IEEE 1451 is proposed. With this,traducer plug-and-play feature can be realized. The model uses the Petri net and CPN tools to complete the formal simulation,analysis and verification. The results show that the boundedness,liveness and other characteristics of the established model of the system are available. Results show that model is suitable and reasonable with expected correctness while working,and applicable in build- ing sensor network systems. The model also provide stable theoretical basis for the development of intelligent sensors system. So,a network general sensor system can be built quickly and standardly for other application by this method. In the future,the model would be widely applied in various fields.

关 键 词：网络化传感系统 网络兼容性 IEEE1451 CPN TOOLS 形式化建模 

分 类 号：TP212[自动化与计算机技术—检测技术与自动化装置]