Modeling multiphased missions using stochastic petri nets with aging tokens

Proceedings of the Annual Reliability and Maintainability Symposium

Volumn , Issue , 2004, Pages 232-236

  Volovoi, Vitali ^a,b  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

Aging Tokens; Availability; Dependability; Multiphase Systems; Quantitative Risk Assessment; Reliability Modeling; Stochastic Petri Nets

Indexed keywords

AGING TOKENS; DEPENDABILITY; MULTIPHASE SYSTEMS; QUANTATIVE RISK ASSESSMENT; RELIABILITY MODELING; STOCHASTIC PETRI NETS; MULTI PHASE SYSTEMS; QUANTITATIVE RISK ASSESSMENT; RELIABILITY MODEL;

DECISION MAKING; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS; RELIABILITY; RISK ASSESSMENT; AVAILABILITY; MAINTAINABILITY; QUALITY CONTROL; STOCHASTIC SYSTEMS;

AIRCRAFT LANDING; PREVENTIVE MAINTENANCE;

EID: 2142796915     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. L. Meshkat, J.B. Dugan, and J. Andrews, "Dependability analysis with on-demand and active failure modes, using dynamic fault trees," IEEE Trans. Reliability, vol. 51, pp. 240-251, 2002.
2. L. Xing and J.B. Dugan, "Analysis of generalized phased-mission system reliability, performance, and sensitivity," IEEE Trans. Reliability, vol. 51, pp. 199-211, 2002.
3. A. Bondavalli and I. Mura, "High-level Petri net modelling of phased mission systems," in Proceedings of the 10th European Workshop on Dependable Computing, 1999.
4. V. Volovoi, "Modeling of system reliability using Petri nets with aging tokens," Reliability Engineering and System Safety, 2003, submitted.
5. V. Volovoi, "Frameworks for system-dependability modeling," IEEE Trans. Reliability, 2003, submitted.
6. J. Laprie, "Dependable computing and fault-tolerance: Concepts and terminology," in Proceedings of the 15th International Symposium on Fault-Tolerant Computing, 1985, pp. 2-7.
7. R. David and H. Alla, "Petri nets for modeling of dynamic systems - a survey," Automatica vol. 30, no. 2, pp. 175-202, 1994.
8. R. German, Performance Analysis of Com-munication Systems: Modeling with Non-Markovian Stochastic Petri Nets. New York: Wiley, 2000.
9. P.J. Haas, Stochastic Petri Nets. Modelling, Stability, Simulation. New York: Springer, 2002.
10. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Berlin: Springer, 1993, vol. 1.
11. G. Horton, "A new paradigm for the numerical simulation of stochastic Petri nets with general firing times," in The 14th European Simulation Symposium and Exhibition, Dresden, Germany, 2002.
12. I.S. Graham, A.C. Wills, and A. O'Callaghan, Eds., Object-Oriented Methods: Principles and Practice, third ed. Pearson Education, 2000.
13. D. Kececioglu, Reliability Engineering Handbook, Englewood Cliffs, New Jersey: Prentice-Hall, 1991, vol. 2.
14. A. Dubi, Monte Carlo Applications in Systems Engineering. Chichester: J. Wiley, 2000.
15. K. Jensen and G. Rozenberg, Eds., High-level Petri Nets: Theory and Application. Berlin, New York: Springer-Verlag, 1991.