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

• 作者: 冯翠萍 刘建航 白星振 程学珍
• 来源期刊: 自动化与仪表
• 关键词: 网络化传感系统 网络兼容性 IEEE1451 CPN Tools 形式化建模
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 总线与网络
• 页码范围: 29-32
• 页数: 4页
• 分类号: TP212
• 语种: 中文

摘要

为提高传感器网络兼容性和互换性,构建了一种基于IEEE 1451的通用网络化传感系统模型,能够实现传感器的即插即用.基于Petri网建立模型,利用CPN Tools对其进行形式化建模、分析和验证.结果表明,该系统的有界性、活性等特性均可用,可实现网络化传感系统快速化、标准化的建立.所建立的系统模型能够为研制工业现场中所需要的具体的网络化智能传感器提供理论依据,能更好地实现其系统网络兼容性和互换性等特性,可以在各领域广泛地应用.