Simulation nets, a simulation modeling and validation tool

Simulation nets can serve as a tool for discrete-event simulation. This tool is based on Petri nets with extensions for modeling, validating, and experimenting. Petri nets have been extensively explored since 1962. The resulting publications are easy to understand and are structured in a hierarchical fashion; the descriptions are so exact that they may be regarded as a pro gramming language. This language does not describe how the simulation should be performed but only what the underlying model looks like (i.e., it is a non-procedural description of the simulation program). Thus, it is possible to obtain simulation results in only a fraction of the time needed for tools requiring programming.