An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models

This publication has 8 references indexed in Scilit:

• Performability modeling with UltraSAN
  IEEE Software, 1991
• Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets
  IEEE Transactions on Computers, 1990
• Transient analysis of cumulative measures of markov model behavior
  Communications in Statistics. Stochastic Models, 1989
• Numerical transient analysis of markov models
  Computers & Operations Research, 1988
• Computing Poisson probabilities
  Communications of the ACM, 1988
• The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
  Operations Research, 1984
• Algorithm 533: NSPIV, a Fortran subroutine for sparse Gaussian elimination with partial pivoting [F4]
  ACM Transactions on Mathematical Software, 1978
• Transient solutions in Markovian queues
  European Journal of Operational Research, 1977