A stubborn attack on state explosion
Formal Methods in System Design - Special issue on computer-aided verification: special methods I
"On-the-Fly" Solution Techniques for Stochastic Petri Nets and Extensions
IEEE Transactions on Software Engineering
Acyclic discrete phase type distributions: properties and a parameter estimation algorithm
Performance Evaluation
| Hi-index | 0.00 |
All state-space based simulation methods are doomed by the phenomenon of state-space explosion. The condition occurs when the simulation becomes memory-infeasible as simulation time advances due to the large number of states in the model. However, state-space explosion is not something that depends solely on the number of discrete states of the model as typically observed. While this is correct and completely sufficient for Markovian models, it is certainly not a sufficient criterion when models involve nonexponential probability distribution functions. In this paper we discuss the phenomenon of state-space explosion in terms of accurate complexity prediction for a general class of models. Its early diagnosis is especially significant in the case of proxel-based simulation, as it can lead towards hybridization of the method by employing discrete phase approximations for the critical states and transitions. This can significantly reduce the computational complexity of the simulation.