故障检测的Petri网模型与Petri网故障进程
为了实现故障的检测和故障定位,通过分析故障在Petri网模型中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的增广Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.
Petri网 模拟系统 故障检测
张继军 董卫 耿霞
山东农业大学 信息科学与工程学院 山东 泰安 271018
国内会议
西安
中文
1-5
2013-08-23(万方平台首次上网日期,不代表论文的发表时间)