We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
Predicting the performance of a system before it is built is a highly desirable goal, but one that is rarely achieved. This paper examines performance problems and issues within in...