Markov regenerative stochastic Petri nets

This publication has 10 references indexed in Scilit:

• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
  Performance Evaluation, 1993
• Selecting and implementing phase approximations for semi-Markov models
  Communications in Statistics. Stochastic Models, 1993
• The completion time of programs on processors subject to failure and repair
  IEEE Transactions on Computers, 1993
• The effect of execution policies on the semantics and analysis of stochastic Petri nets
  IEEE Transactions on Software Engineering, 1989
• Stochastic petri nets with timed and immediate transitions
  Communications in Statistics. Stochastic Models, 1989
• An introduction to Estelle: A specification language for distributed systems
  Computer Networks and ISDN Systems, 1987
• The reliability of life-critical computer systems
  Acta Informatica, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• An Inversion Technique for the Laplace Transform
  Bell System Technical Journal, 1982
• Performance Analysis Using Stochastic Petri Nets
  IEEE Transactions on Computers, 1982