-
题名故障检测的Petri网模型与Petri网故障进程
被引量：1
- 1
-
-
作者
张继军
李小青
董卫
-
机构
山东农业大学信息科学与工程学院
兰州大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第9期2029-2033,共5页
-
基金
国家自然科学基金项目(61170079
60903099)资助
-
文摘
Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.
-
关键词
带输入输出的petri网
故障检测petri模型
petri网2-进程
petri网故障进程
-
Keywords
petri net with input and output
petri net for fault detection
2-Process of petri net
petri net fault process
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
