The event-scheduling view of the discrete-event simulation technique is widely used to model and simulate dynamic systems. This paper presents DMOD, a formalization of this technique. DMOD offers two major advantages. First, it retains the powerful intutions behind this technique, yet makes it easier to specify them. Second, it permits reasoning about its models. This is done by means of symbolic simulation, i.e. simulation in which input parameters can be constrained variables. DMOD can be used to model hybrid systems including those with non-linearities. It has been implemented in Prolog and applied to analysis of a variety of industrial systems.

Back to Discret Event Systems, Manufacturing Systems, and Communiation Networks Table of Contents