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