Stochastic Processes and Models

Part of the Springer Series in Reliability Engineering book series (RELIABILITY)


The word “stochastic” is of Greek origin. In seventeenth century English, the word “stochastic” had the meaning “to conjecture, to aim at mark”. It is not quite clear how it acquired the meaning it has today of “pertaining to chance”.


Process Algebra Firing Time Communicate Sequential Process Reachability Graph Customer Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Cox DR, Miller HD (1970) The theory of stochastic processes. Methuen, LondonGoogle Scholar
  2. 2.
    Trivedi KS (1982) Probability statistics with reliability, queueing, and computer science applications. Wiley, New YorkGoogle Scholar
  3. 3.
    Xinyu Z. (1999) Dependability modeling of computer systems and networks. Ph.D. thesis, Department of Electrical and Computer Engineering, Duke UniversityGoogle Scholar
  4. 4.
    IEC 60880-2.0: Nuclear power plants—instrumentation and control systems important to safety—software aspects for computer-based systems performing category a functions, 2006Google Scholar
  5. 5.
    Erhan C (1975) Introduction to stochastic processes. Prentice-Hall, Englewood CliffsMATHGoogle Scholar
  6. 6.
    Choi H, Kulkarni VG, Trivedi KS (1993) Transient analysis of deterministic and stochastic petri nets. In: Proceedings of the14th international conference on application and theory of petri nets, pp 166–185Google Scholar
  7. 7.
    Choi H, Kulkarni VG, Trivedi KS (1994) Markov regenerative stochastic petri nets. Perform Eval 20:337–357MathSciNetCrossRefGoogle Scholar
  8. 8.
    Meyer JF (1980) On evaluating the performability of degradable computing systems. IEEE Trans Comp C 29(8):720–731MATHCrossRefGoogle Scholar
  9. 9.
    Meyer JF (1982) Closed-form solutions of performability. IEEE Trans Comp C 31(7):648–657CrossRefGoogle Scholar
  10. 10.
    Puliafito A, Telek M, Trivedi KS (1997) The evolution of stochastic petri nets. In: Proceedings of World Congress of Systems and Simulation, WCSS 97:97Google Scholar
  11. 11.
    Molloy MK (1982) Performance analysis using stochastic petri nets. IEEE Trans Comp C 31(9):913–917CrossRefGoogle Scholar
  12. 12.
    Murata T (1989) Petri nets: properties, analysis and applications. Proceedings IEEE 77(4):541–580CrossRefGoogle Scholar
  13. 13.
    Peterson PL (1977) Petri nets. ACM Comput Surv 9(3)Google Scholar
  14. 14.
    Peterson PL (1981) Petri net theory and modeling of systems. PHI, Englewood CliffsGoogle Scholar
  15. 15.
    Jogesh M, Gianfranco C, Trivedi KS (1994) Stochastic reward nets for reliability prediction. Commun Reliab Maintainabil Serviceabil 1(2):9–20Google Scholar
  16. 16.
    Marsan MA, Balbo G, Conte G (1984) A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans Comp Syst 93:93–122CrossRefGoogle Scholar
  17. 17.
    Ajmone Marsan M, Balbo G, Conte G (1984) A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans Comp Syst 2(2):93–122Google Scholar
  18. 18.
    Marson MA, Balbo G, Bobbio A, Chiola G, Conte G, Cumani A (1989) The effect of execution policies on the semantics and analysis of stochastic petri nets. IEEE Trans Softw Eng 15(7):832–846CrossRefGoogle Scholar
  19. 19.
    Bukowski JV (2001) Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems. IEEE Trans Reliabil 50(3):321–329CrossRefGoogle Scholar
  20. 20.
    Marsan MA, Chiola G (1987) On petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1986, Lecture Notes in Computer Science 266, pp 132–145Google Scholar
  21. 21.
    Diaz JL, Lopez JM, Gracia DF (2002) Probabilistic analysis of the response time in a real time system. In: Proceedings of the 1st CARTS workshop on advanced real-time technologies, OctoberGoogle Scholar
  22. 22.
    Trivedi KS (2001) SPNP user’s manual. version 6.0. Technical reportGoogle Scholar
  23. 23.
    Zimmermann A (2001) TimeNET 3.0 user manualGoogle Scholar
  24. 24.
    Zimmermann A, Michael Knoke (2007) Time NET 4.0 user manual. Technical report, AugustGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Department of Electrical EngineeringIndian Institute of Technology Bombay (IITB)Powai, MumbaiIndia
  2. 2.Department of Civil EngineeringIndian Institute of Technology Bombay (IITB)Powai, MumbaiIndia

Personalised recommendations