ABSTRACT
This paper describes a procedure and system for ensuring the logical consistency of a discrete simulation model. The initial system, WORMS I, is intended primarily for models that will be implemented in an event-oriented language such as SIMSCRIPT.
- 1.Tsichritzis, D., "Modular System Description", University of Toronto, Department of Computer Science, Technical Report No. 33.Google Scholar
- 2.Holt, R.C., "Some Deadlock Properties of Computer Systems", Computing Surveys, Vol. 4, No. 3, Sept. 1972. Google ScholarDigital Library
- 3.Baer, J.L., "A Survey of Some Theoretical Aspect of Multiprocessing", Computing Surveys, Vol. 5, No. 1, Mar. 1973. Google ScholarDigital Library
- 4.Irani, K.B., Wallace, V.L., "A System for the Solution of Simple Stochastic Networks", University of Michigan, CONCOMP Technical Report No. 14.Google Scholar
Index Terms
- Well—formed models for discrete simulation
Recommendations
Inside discrete-event simulation software: how it works and why it matters
WSC '10: Proceedings of the Winter Simulation ConferenceThis paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discrete-event systems; entities, resources, control elements and operations; simulation runs; entity states; ...
Inside discrete-event simulation software: how it works and why it matters
WSC '13: Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex WorldThis paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discrete-event systems; entities, resources, control elements and operations; simulation runs; entity states; ...
Comments