The application of Petri nets to failure analysis

Reliability Engineering and System Safety

Volumn 57, Issue 2, 1997, Pages 129-142

  Liu, T S ^a   Chiou, S B ^a  

^a NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS; MATHEMATICAL MODELS; RELIABILITY;

TRAPEZOIDAL GRAPH METHOD;

PETRI NETS;

EID: 0031197341     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(97)00030-6     Document Type: Article

References (15)

1. Peterson, J. L., Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1981.
2. David, R. and Alla, H., Petri net for modelling of dynamic systems - a survey. Automatica, 1994, 30(2), 175-202.
3. Kumar, V. and Aggarwal, K. K., Petri net modelling and reliability evaluation of distributed processing systems. Reliability Engineering & System Safety, 1993, 41, 167-176.
4. Misra, K. B., New Trends in System Reliability Evaluation. Elsevier Science, Amsterdam, 1993.
5. Viswanadham, N., Reliability of Computer and Control Systems. Elsevier Science, New York, 1987.
6. Leveson, N. G. and Stolzy, J. L., Safety analysis using petri nets. IEEE Transactions on Software Engineering, 1987, 133, 386-397.
7. Shabalin, A. N., Generation of models for reliability growth. In Proceedings of the 1992 Annual Reliability and Maintenance Symposium, IEEE, New York, pp. 299-302, 1992.
8. Haverkort, B. R. and Trivedi, K. S., Specification techniques for Markov reward models. Discrete Event Dynamic Systems: Theory & Applications, 1993, 3, 219-247.
9. Sahner, R. A. and Trivedi, K. S., A software tool for learning about stochastic model. IEEE Transactions on Education, 1993, 361, 56-61.
10. McGraw, R. J., Shimeall, T. J. and Gill, J. A., Software safety analysis in heterogeneous multiprocessor control systems. In Annual Reliability and Maintenance Symposium 1991 Proceedings, IEEE, New York, pp. 290-294, 1991.
11. Viswanadham, N. and Johnson, T. L., Fault detection and diagnosis of automated manufacturing systems. In Proceedings of the 27th IEEE Conference on Decision and Control, Austin, TX. Vol. 3, pp. 2301-2306, 1988.
12. Muthukumar, C. T., Guarro, S. B. and Apostolakis, G. E., Logic flowgraph methodology: a tool for modelling embedded systems. In Proceedings of the IEEE/AIAA 10th Digital Avionics Systems Conference, New York, pp. 103-109, 1991.
13. Khan, A. A., State equation representation of logic operations through a petri net. Proceedings of the IEEE, 1981, 694, 485-487.
14. Hura, G. S. and Atwood, J. W., The use of petri nets to analyze coherent fault trees. IEEE Transactions on Reliability, 1988, 375, 469-474.
15. Dimitri, K., Reliability Engineering Handbook, Vol. 2. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.