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

Research of Network Sensors System Based on Colored Petri Nets

为提高传感器网络兼容性和互换性,构建了一种基于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.