基于增广自控网的路灯故障检测系统

摘要：

用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。

关键词： Petri网 增广自控网 禁止弧 容许弧 可达标识 形式化模型 路灯故障检测

作者: 严兵 宋文 蒋忠远

作者单位: 西华大学数学与计算机学院 四川成都 610039

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 171-174

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）