Stochastic Petri Nets modeling using SPN©

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2006, Pages 75-81

  Volovoi, Vitali ^a,b  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

Aging tokens; Availability; Dependability; Preventive maintenance; Risk assessment; Stochastic Petri Nets

Indexed keywords

AGING TOKENS; DEPENDABILITY; STOCHASTIC PETRI NETS;

ACCIDENT PREVENTION; AVAILABILITY; PREVENTIVE MAINTENANCE; RELIABILITY ANALYSIS; RISK ASSESSMENT; STOCHASTIC CONTROL SYSTEMS;

PETRI NETS;

EID: 34250161796     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMS.2006.1677353     Document Type: Conference Paper

References (14)

1. A. Mettas and M. Savva, "System Reliability Analysis: The Advantages of Using Analytical Methods to Analyze Non-Repairable Systems" in Proceedings of the Annual Reliability and Maintainability Symposium, 2001.
2. A. Bobbio, A. Puliafito, and M. Tekel, "A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs," IEEE Transactions on Software Engineering, vol.26, no. 1, pp. 36-54, 2000
3. V. Volovoi, "Modeling of system reliability using Petri nets with aging tokens," Reliability Engineering and System Safety, vol. 84, no. 2, pp.149-161, 2004.
4. R. David and H. Alla, "Petri nets for modeling of dynamic systems - a survey," Automatica vol. 30, no. 2, pp. 175-202, 1994.
5. R. German, Performance Analysis of Com-munication Systems: Modeling with Non-Markovian Stochastic Petri Nets. New York: Wiley, 2000.
6. P. Haas, Stochastic Petri Nets. Modelling, Stability, Simulation, New York: Springer, 2002.
7. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Berlin: Springer, 1993, vol. 1.
8. I. Graham, A. Wills, and A. O'Callaghan, Eds., Object-Oriented Methods: Principles and Practice, third ed. Pearson Education, 2000.
9. D. Kececioglu, Reliability Engineering Handbook. Englewood Cliffs, New Jersey: Prentice-Hall, 1991, vol. 2.
10. A. Dubi, Monte Carlo Applications in Systems Engineering. Chichester: J. Wiley, 2000.
11. K. Jensen and G. Rozenberg, Eds., High-Level Petri Nets: Theory and Application. Berlin, New York: Springer-Verlag, 1991.
12. V.Volovoi, G.Kavalieratos, M.Waters, and D.Mavris "Modeling the Reliability of Distribution Power Systems Using Petri Nets" in Proceedings of the 11th IEEE International Conference on Harmonics and Quality of Power, Lake Placid, New York, Sept. 12-15, 2004
13. V.Volovoi, "Probabilistic Risk Assessment of Failures Leading to the Inadvertent Firing of Thrusters while Orbiter is Docked to the Space Station" Appendix C of "Space Shuttle Reaction Jet Driver (RJD) Independent Technical Assessment/Inspection" NASA Engineering and Safety Center (NESC)Report, RP-05-18, version 1.0, 2005
14. I. Gertbakh, Reliability Theory with Applications to Preventive Maintenance. Berlin, New York: Springer-Verlag, 2000