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

A Fault Detecting System of Street Lamp Based on Extended Cyber Nets

作　　者：严兵[1] 宋文[1] 蒋忠远[1] 

机构地区：[1]西华大学数学与计算机学院,四川成都610039

出　　处：《系统仿真学报》2007年第A01期171-174,共4页Journal of System Simulation

基　　金：国家自然科学基金(60473030)

摘　　要：用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。A model of fault detecting system of street lamp is constructed by the extended cyber nets with inhibitor and permissive arcs. The system model is applied to describe the detecting procedure for fault street lamp equipments that has been numbered linearly, and it can examine accurately server fault street lamp. The principle of response to work is adopted in the system model. Finally, the analysis and verification of the model are given by reachable marking and incidence matrix.

关 键 词：PETRI网 自控网 禁止弧 容许弧 可达标识 形式化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]