Modeling paradigms for discrete event simulation

This paper reviews modeling paradigms for discrete event simulation. Various formalisms are described and critically discussed in terms of both their ability to contribute to an improved theory of simulation and their capability for assisting in effective model construction and implementation. The mathematics of graph theory are suggested as a rigorous and comprehensive basis for specifying discrete event simulation models. In particular, Simulation Graphs are described and show to possess many of the desirable features of a modern model-based problem-solving environment.