基于奇偶校验的Petri网控制器的故障检测

陈丽娟;杨欣

系统科学与数学 ›› 2009, Vol. 29 ›› Issue (2) : 263-270.

PDF(388 KB)
中国科学院数学与系统科学研究院期刊网
PDF(388 KB)
系统科学与数学 ›› 2009, Vol. 29 ›› Issue (2) : 263-270. DOI: 10.12341/jssms10084
论文

基于奇偶校验的Petri网控制器的故障检测

    陈丽娟, 杨欣
作者信息 +

Fault Detection Based on Parity Checks in Petri NetController

    CHEN Lijuan, YANG Xin
Author information +
文章历史 +

摘要

提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;
建立一个包含一定数量库所的附加Petri网控制器以满足奇偶校验的编码要求;分别针对库所故障和变迁故障,选用不同的奇偶校验参数进行故障检测,
并通过实例详细阐明了故障检测的过程.

Abstract

A method of fault detection in Petri net controllers based on Parity checks is proposed. Firstly,
Petri net controller satisfying linear constraints of marking and Parikh vectors is designed.
Then, a redundant controller with certain places is constructed to meet the coding condition of Parity checks.
Finally, for the differences between place fault and transition fault, different Parity check parameters are chosen to detect faults,
some examples are given.

关键词

奇偶校验 / Petri网控制器 / 故障检测.

Key words

Parity checks / Petri net controller / fault detection.

引用本文

EndNote

Ris (Procite)

Bibtex

导出引用
陈丽娟 , 杨欣. 基于奇偶校验的Petri网控制器的故障检测. 系统科学与数学, 2009, 29(2): 263-270. https://doi.org/10.12341/jssms10084
CHEN Lijuan , YANG Xin. Fault Detection Based on Parity Checks in Petri NetController. Journal of Systems Science and Mathematical Sciences, 2009, 29(2): 263-270 https://doi.org/10.12341/jssms10084
中图分类号： 93B05   
PDF(388 KB)

196

Accesses

0

Citation

Detail
段落导航
相关文章

/

〈 〉