Modeling of system reliability Petri nets with aging tokens

Reliability Engineering and System Safety

Volumn 84, Issue 2, 2004, Pages 149-161

  Volovoi, V ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Aging tokens; Dependability; Petri nets; Reliability

Indexed keywords

DATA STORAGE EQUIPMENT; DIFFERENCE EQUATIONS; FAULT TREE ANALYSIS; LARGE SCALE SYSTEMS; MARKOV PROCESSES; MONTE CARLO METHODS; NUMERICAL METHODS; PRESS LOAD CONTROL; RANDOM PROCESSES; RELIABILITY; STOCHASTIC CONTROL SYSTEMS;

AGING TOKENS; DEPENDABILITY; MULTIPHASE MISSIONS; RELIABILITY BLOCK DIAGRAMS (RBD);

PETRI NETS;

EID: 2142697193     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2003.10.013     Document Type: Article

References (36)

1. Movaghar A., Meyer J.F. Performability modeling with stochastic activity networks. Proceedings of Real-time Systems Symposium, December 4-6, 1984, Hyatt Regency Hotel, Austin, TX. 1984;IEEE Computer Society Press.
2. Adamyan A., He D. Analysis of sequential failures for assessment of reliability and safety of manufacturing systems. Reliab Engng Syst Safety. 76:2002;227-236.
3. Schneeweiss W. Tutorial: Petri nets as a graphical description medium for many reliability scenarios. IEEE Transactions on Reliability. 50:2001;159-164.
4. Liu T., Chiou S. Application of Petri nets to failure analysis. Reliab Engng Syst Safety. 57:1997;129-142.
5. Dugan JB, Bavuso S, Boyd M. Dynamic fault tree models for fault tolerant computer systems. IEEE Trans Reliab 41.
6. Meshkat L., Dugan J.B., Andrews J. Dependability analysis with on-demand and active failure modes, using dynamic fault trees. IEEE Trans Reliab. 51:2002;240-251.
7. Čepin M., Mavko B. A dynamic fault tree. Reliab Engng Syst Safety. 75:2002;83-91.
8. Ramesh A.V., Twigg D.W., Sandadi U.R., Sharma T.C. Reliability analysis of systems with operation-time management. IEEE Trans Reliab. 51:(1):2002;39-48.
9. Rouvroye J.L., Brombacher A. New quantitative safety standards: different techniques, different results? Reliab Engng Syst Safety. 66:1999;121-125.
10. Rouvroye J.L., Van Den Bliek E.G. Comparing safety analysis techniques. Reliab Engng Syst Safety. 75:2002;289-294.
11. Peterson J.L. Petri net theory and the modeling of systems. 1981;Prentice-Hall, Englewoods Cliffs, NJ.
12. Haas P.J. Stochastic Petri nets. Modelling, stability, simulation. 2002;Springer, New York.
13. Jensen K. Coloured Petri nets: basic concepts, analysis methods and practical use. vol. 3:1997;Springer, Berlin.
14. Zhou M., Venkatesh K. Modeling, simulation, and control of flexible manufacturing systems: a Petri net approach. 1999;World Scientific, Singapore.
15. Schneeweiss W.G. Better graphs for dependability modeling. Microelectron Reliab. 38:(5):1998;807-820.
16. David R., Alla H. Petri nets for modeling of dynamic systems: a Survey. Automatica. 30:(2):1994;175-202.
17. e Colloque International de Fiabilité et de Maintenabilité, Biarritz, France. 1986.
18. Dutuit Y., Châtelet E., Signoret J.-P., Thomas P. Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases. Reliab Engng Syst Safety. 55:1997;117-124.
19. Nicola V.F., Shahabuddin P., Nakayama M.K. Techniques for fast simulation of models of highly dependable systems. IEEE Trans Reliab. 50:(3):2001;246-264.
20. Marseguerra M., Zio E., Devooght J., Labeau P.E. A concept paper on dynamic reliability via Monte Carlo simulation. Math Comput Simul. 47:1998;371-382.
21. German R. Performance analysis of communication systems: modeling with non-Markovian stochastic Petri nets. 2000;Wiley, New York.
22. Petri A. Kommunikation mit automaten. PhD Thesis. Institut für Instrumentelle Mathematik, Schriften des IIM; 1962.
23. Jensen K., Rozenberg G. High-level Petri nets: theory and application. 1991;Springer, Berlin.
24. Volovoi VV. Frameworks for system-dependability modeling. Submitted for publication.
25. Bobbio A., Puliafito A., Telek M. A modeling framework to implement preemption policies in non-Markovian SPNs. IEEE Trans Software Engng. 26:(1):2000;36-53.
26. Heller S., Greiner S., Horton G. A Petri net simulator for fast safety and quality analysis and cost prediction. Proceedings of the 16th European Simulation Multiconference, Darmstadt, Germany. 2002.
27. Horváath A., Telek M. Time domain analysis of non-Markovian stochastic Petri nets with PRI transitions. IEEE Trans Software Engng. 28:(10):2002;933-943.
28. Elerath J. Implied service strategies in availability assessments. Proceedings of Annual Reliability and Maintainability Symposium. 2003;IEEE. p. 96-100.
29. Bowles J. Commentary-caution: constant failure-rate models may be hazardous to your design. IEEE Trans Reliab. 51:(3):2002;375-377.
30. Jones J., Hayes J. Estimation of system reliability using a non-constant failure rate model. IEEE Trans Reliab. 50:(3):2001;286-288.
31. Kececioglu D. Reliability engineering handbook. vol. 2:1991;Prentice- Hall, Englewood Cliffs, NJ.
32. Dubi A. Monte Carlo applications in systems engineering. 2000;Wiley, Chichester.
33. Henley E.J., Kumamoto H. Probabilistic risk assessment: reliability engineering, design, and analysis. 1992;IEEE Press, New York.
34. Volovoi V. Modeling multiphased missions using stochastic petri nets with aging tokens. Proceedings of Annual Reliability and Maintainability Symposium. 2004;IEEE.
35. Bondavalli A., Mura I. High-level Petri net modelling of phased mission systems. Proceedings of the 10th European Workshop on Dependable Computing. 1999.
36. Labeau P.E., Zio E. Procedures of Monte Carlo transport simulation for applications in system engineering. Reliab Engng Syst Safety. 77:2002;217-228.