DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets

This publication has 5 references indexed in Scilit:

• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
  Performance Evaluation, 1993
• Modeling discrete event systems with state-dependent deterministic service times
  Discrete Event Dynamic Systems, 1993
• Performability modeling with UltraSAN
  IEEE Software, 1991
• The effect of execution policies on the semantics and analysis of stochastic Petri nets
  IEEE Transactions on Software Engineering, 1989
• Algorithm 533: NSPIV, a Fortran subroutine for sparse Gaussian elimination with partial pivoting [F4]
  ACM Transactions on Mathematical Software, 1978