THE USE OF PETRI NETS TO ANALYZE COHERENT FAULT-TREES

被引：43

作者：

HURA, GS ^{[1
]}

ATWOOD, JW ^{[1
]}

机构：

[1] CONCORDIA UNIV,DEPT COMP SCI,MONTREAL H3G 1M8,QUEBEC,CANADA

来源：

IEEE TRANSACTIONS ON RELIABILITY | 1988年 / 37卷 / 05期

关键词：

Integrated Circuits; VLSI--Testing - Mathematical Techniques--Graph Theory;

D O I：

10.1109/24.9864

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The use of Petri nets to represent fault trees is discussed. Using reachability and other analytic properties of Petri nets, a more general and useful method to study the dynamic behavior of the model at various levels of abstraction is examined. The problems of fault-detection and propagation are discussed. For simplicity, only coherent fault trees are considered. However, the representation and analysis techniques are general and can be used for noncoherent fault trees.

引用

页码：469 / 474

页数：6

共 9 条

[1]

AGERWALA T, 1979, IEEE COMPUTER DEC, P85

[2] A PETRI NET APPROACH TO THE EVALUATION OF THE COMPLEXITY OF A PROGRAM [J].

HURA, GS ;

SINGH, H ;

NANDA, NK .

INTERNATIONAL JOURNAL OF ELECTRONICS, 1981, 51 (01) :79-85

[3] PETRI NET AS A MODELING TOOL [J].

HURA, GS .

MICROELECTRONICS AND RELIABILITY, 1982, 22 (03) :433-439

[4] A PETRI NET APPROACH TO MINIMIZE ROM IN MICROPROGRAMMED DIGITAL-COMPUTERS [J].

HURA, GS .

COMPUTERS & ELECTRICAL ENGINEERING, 1981, 8 (04) :245-248

[5]

HURA GS, 1986, IEEE T SOFTWARE ENG, V2, P505

[6]

KHAN AA, 1981, P IEEE, V68, P466

[7] STATE EQUATION, CONTROLLABILITY, AND MAXIMAL MATCHINGS OF PETRI NETS [J].

MURATA, T .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1977, 22 (03) :412-416

[8]

MURATA T, 1979, 1979 INT COLL CIRC S

[9] PETRI NETS [J].

PETERSON, JL .

COMPUTING SURVEYS, 1977, 9 (03) :223-252

← 1 →