TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets

This publication has 15 references indexed in Scilit:

• DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets
  Performance Evaluation, 1995
• A characterization of the stochastic process underlying a stochastic Petri net
  IEEE Transactions on Software Engineering, 1994
• Analysis of stochastic Petri nets by the method of supplementary variables
  Performance Evaluation, 1994
• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
  Performance Evaluation, 1993
• Generalized stochastic Petri nets: a definition at the net level and its implications
  IEEE Transactions on Software Engineering, 1993
• Steady-state simulation of queueing processes: survey of problems and solutions
  ACM Computing Surveys, 1990
• The effect of execution policies on the semantics and analysis of stochastic Petri nets
  IEEE Transactions on Software Engineering, 1989
• Algorithm 586: ITPACK 2C: A FORTRAN Package for Solving Large Sparse Linear Systems by Adaptive Accelerated Iterative Methods
  ACM Transactions on Mathematical Software, 1982
• A spectral method for confidence interval generation and run length control in simulations
  Communications of the ACM, 1981
• Algorithms for sparse Gaussian elimination with partial pivoting
  ACM Transactions on Mathematical Software, 1978