-
题名故障检测的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
[自动化与计算机技术—计算机系统结构]
-
-
题名生产者——消费者问题图示分析两则
被引量:2
- 2
-
-
作者
彭学君
霸桂芳
-
机构
衡水师专计算机中心
-
出处
《许昌师专学报》
2002年第2期72-74,共3页
-
文摘
生产者与消费者问题是研究进程同步的典范 .抛开了《操作系统》等书籍中的类PASCAL语句描述 ,引入FSM与PETRI网 ,给出各自的图示 ,并对FSM与PETRI网进行了比较 .
-
关键词
生产者-消费者问题
FSM
petri网
进程同步
图示分析
操作系统
有限状态机
-
Keywords
Producer Consumer system
FSM
petri nets
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-