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

This publication has 9 references indexed in Scilit:

• Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets
  IEEE Transactions on Computers, 1990
• Improving the efficiency of the analysis of DSPN models
  Published by Springer Nature ,1990
• Numerical transient analysis of markov models
  Computers & Operations Research, 1988
• Computing Poisson probabilities
  Communications of the ACM, 1988
• Transient analysis of acyclic markov chains
  Performance Evaluation, 1987
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• 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
• Markovian models and numerical analysis of computer system behavior
  Published by Association for Computing Machinery (ACM) ,1966