Overstreet, C. MichaelNance, Richard E.2013-06-192013-06-191983http://hdl.handle.net/10919/19410Several diagnostics which assist in the construction of specifications for discrete event simulation models are defined. The model specifications to be analyzed must be in a particular form called a Condition Specification. The diagnostics are based on analysis of graphs easily derived from a Condition Specification. Most of the diagnostics are intended to be applied as a Condition Specification is being developed. Th ree categories for the classification of diagnostics of model specifications are defined. Two examples illustrate the graphical forms derivable from a Condition Specification.application/pdfenIn CopyrightGraph-based Diagnosis of Discrete Event Model SpecificationsTechnical reportCS83028-Rhttp://eprints.cs.vt.edu/archive/00000898/01/CS83028-R.pdf