Measure-adaptive state-space construction

This publication has 22 references indexed in Scilit:

• "On-the-fly" solution techniques for stochastic Petri nets and extensions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Numerical analysis of stochastic marked graph nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An efficient disk-based tool for solving very large Markov models
  Published by Springer Nature ,1997
• Numerical analysis of superposed GSPNs
  IEEE Transactions on Software Engineering, 1996
• Efficient exploration of availability models guided by failure distances
  ACM SIGMETRICS Performance Evaluation Review, 1996
• In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models
  The Computer Journal, 1995
• Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
  Performance Evaluation, 1993
• State space exploration in Markov models
  ACM SIGMETRICS Performance Evaluation Review, 1992
• A methodology for solving markov models of parallel systems
  Journal of Parallel and Distributed Computing, 1991
• Stochastic automata network of modeling parallel systems
  IEEE Transactions on Software Engineering, 1991