An efficient disk-based tool for solving very large Markov models

This publication has 7 references indexed in Scilit:

• Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Numerical analysis of superposed GSPNs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• "On-the-fly" solution techniques for stochastic Petri nets and extensions
  IEEE Transactions on Software Engineering, 1998
• Numerical analysis of superposed GSPNs
  IEEE Transactions on Software Engineering, 1996
• Introduction to the Numerical Solution of Markov Chains
  Published by Walter de Gruyter GmbH ,1995
• The UltraSAN modeling environment
  Performance Evaluation, 1995
• Superposed Generalized Stochastic Petri Nets: Definition and efficient solution
  Published by Springer Nature ,1994