The time and state relationships in simulation modeling

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The time and state relationships in simulation modeling

Full text

Pdf (594 KB)

Source

Communications of the ACM archive
Volume 24 , Issue 4 (April 1981) table of contents
Special issue on simulation modeling and statistical computing

Pages: 173 - 179

Year of Publication: 1981

ISSN:0001-0782

Author

Richard E. Nance

Virginia Tech, Blacksburg

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 62, Citation Count: 50

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/358598.358601 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Atkins, M. Stella A comparison of S\|MULA and GPSS for simulating sparse traffic. Simulation, 34, 3 (March 1980), 93-100.
	2	Beckwith, Richard E. Survey of simulation education: I. The perceived need. ORSA/TIMS Joint National Meeting, San Juan, Puerto Rico, October 16-18, 1974.
	3	Blunden, G.P. and Krasnow, H.S. The process concept as a basis for simulation modeling. Simulation, 9, 2 (August 1967), 89-93.
	4	P. A. Bobillier , B. C. Kahn , R. A. Probst, Simulation with GPSS and Gpssv, Prentice Hall Professional Technical Reference, 1976
	5	Colella, A.M., O'Sullivan, M.J., and Carlino, D.J. Systems Simulation: Methods and Applications. D.C. Heath, Boston, Mass., 1974.
	6	Comptroller General of the U.S., Ways to improve management of Federally funded computerized models. LCD-75-I I l, General Services Administration, August 23, 1976.
	7	Conway, Richard W. Some tactical problems in digital simulation. Management Sci., 10, l (October 1963), 47-61.
	8	Dietmeyer, D. L., Gordon, G., Runyon, J.P., and Tague, B.A. An interpretive simulation program for estimating occupancy and delay in traffic-handling systems which are incompletely detailed. Proc. IEEE Pacific General Meeting, San Diego, CA, 1960.
	9	Emshoff, James R. and Sisson, Roger L. Design and Use of Computer Simulation Models. MacMillan, New York, 1970.
	10	Fishman, George S. Concepts and Methods in Discrete Event Digital Simulation. John Wiley, New York, 1973.
	11	George S. Fishman, Principles of Discrete Event Simulation, John Wiley & Sons, Inc., New York, NY, 1978
	12	W. R Franta, The process view of simulation (Operating and programming systems series), North-Holland, 1977
	13	Gordon, Geoffrey A general purpose systems simulator. (unpublished manual) IBM Corporation ASDD Commercial Department, October 25, 1960.
	14	Holbaek-Hanssen, E., Handlykken, P., and Nygaard, K. System description and the DELTA language. Rept. No. 4 (Publication No. 523), Norwegian Computing Center, Oslo, Norway, 1977.
	15	Hordijk, A., lglehart, D.L., and Shassberger, R. Discrete time methods for simulating continuous time Markov chains. Rept. No. 35, Department of Operations Research, Stanford Univ, Stanford, CA, Jan. 1975.
	16	Kindler, Evzen On the way to a mathematical theory of simulation. Elektronische lnformationsverarbeitung und Kybernetik, 12, 1 (1976), 497-504.
	17	Kindler, Evzen Dynamic systems and theory of simulation. Kybernetika, 15, 2 (1979), 77-87.
	18	Kiviat, P.J. GASP--A general activity simulation program. Project No. 90.17-019(2), Applied Research Lab., United States Steel Corp., Monroeville, PA, July 1963.
	19	Kiviat, Philip J. Digital computer simulation: Modeling concepts. RAND Memo. RM-5378-PR RAND Corp., Santa Monica, CA, Aug. 1967.
	20	Kiviat, Philip J. Digital computer simulation: Computer programming languages. RAND Memo RM-5883-PR, RAND Corp., Santa Monica, CA, Jan. 1969.
	21	Kiviat, P.J., Villanueva, R., and Markowitz, H. M. SIMSCRIPT 11 Programming Language. CACI Inc., Los Angeles, CA, 1973.
	22	Kleine, Henry. Software design and documentation language. JPL Publication 77-24, Jet Propulsion Lab., Pasadena, CA, July 1, 1977.
	23	Lackner, Michael R. SIMPAC: A research tool for simulation. SDC Document SP-220, System Development Corp., Santa Monica, CA, March 13, 1961.
	24	Lackner, M.R. Toward a general simulation capability. Proc. of the SJCC, San Francisco, CA, May 1-3, 1962, 1-14.
	25	Lackner, Michael R. Digital simulation and system theory. System Development Corp. SDC Document SP-1612, Santa Monica, CA, April 6, 1964.
	26	Laski, John C. and Buxton, John N. C.S.L. Control and simulation language. Esso Petroleum Company, Ltd. and IBM United Kingdom, Ltd., London, England, 1962.
	27	Markowitz, H.M., Hausner, B., and Karr, H.W. SIMSCRIPT: A simulation programming language. Rept. RM-3310-Pr; RAND Corp., Santa Monica, CA, 1962.
	28	Markowitz, Harry M. SIMSCRIPT. Res. Rept. RC 6811 (29158), IBM Thomas J. Watson Research Center, Yorktown Heights, NY, July 26, 1979.
	29	Mathewson, S. C. Computer aided simulation modeling and experimentation. Proc. Eighth Australian Comptr Conf. Canberra, Australia, Aug. 28-Sept 1, 1978, 9-13.
	30	Nance, Richard E. On time flow mechanisms for discrete systems simulations. Management Sci. 18, 1 (Sept. 1971), 59-73.
	31	Nance, Richard E. A comparison of discrete event simulation courses based on a small sample survey. Tech. Rept. CS76010-E, Dept of Comptr Sci, Virginia Tech, Blacksburg, Virginia 24061, July 1976.
	32	Nance, Richard E. The feasibility of and methodology for developing Federal documentation standards for simulation models. Final Rept. to the Natl. Bur. Stand., Dept of Comptr Sci., Virginia Tech, June 26, 1977.
	33	Nance, Richard E. Model representation in discrete event simulation: Prospects for developing documentation standards. In Current Issues in Computer Simulation, N. Adam and A. Dogramaci, Eds., Academic Press, New York, 1979, 83-97.
	34	Nance, Richard E. Model representation in discrete event simulation: The Conical Methodology. Tech. Rept. CS81003-R, Dept ofComptr Sci, Virginia Tech, Blacksburg, VA, March 15, 1981.
	35	Nygaard, K. SIMULA, An extension of ALGOL to the description of discrete event networks. Proc. 1FIPS Cong., North- Holland, New York, 1963, 520-522.
	36	Norton, Suzanne and Schaefer, Brian M. A new methodology of discrete systems simulation: Schedule independent simulation. Bull Operations Res. Soc. Am., Chicago, IL, April 30 and May 1-2, 1975, B-69.
	37	Oren, Tuncer I. and Zeigler, Bernard P. Concepts for advanced simulation methodologies. Simulation, 32, 3 (March 1979), 69-82.
	38	Oren, Tuncer I. Computer-aided modeling systems (CAMS). Plenary Address, Simulation '80 Syrup., Interlaken, Switzerland, June 25-27, 1980.
	39	Overstreet, C. Michael, Research progress report. Dept. Comptr Sci, Virginia Tech, (limited availability), 1978.
	40	David L. Parnas, On simulating networks of parallel processes in which simultaneous events may occur, Communications of the ACM, v.12 n.9, p.519-531, Sept. 1969 [doi>10.1145/363219.363233]
	41	Pritsker, A.B., and Young, R.E. Simulation with GASP-PL/I. John Wiley, New York 1975.
	42	Julian Reitman, Computer Simulation Applications: Discrete-Event Simulation for Synthesis and Analysis of Complex Systems, Krieger Publishing Co., Inc., Melbourne, FL, 1981
	43	Tocher, K.D. and Owen, D.G. The automatic programming of simulations. Proc. Second Int. Conf. on Operational Research, 1960, 50-68.
	44	Tocher, K.D. Some techniques of modeling building proceedings. IBM Scientific Computing Symposium Simulation Models and Planning. IBM Data Process Division, 1966 (Conference held in White Plains, New York, Dec. 7-9, 1964), 119-155.
	45	Tocher, K.D. Keynote address. Proc. Winter Simulation Conf., Volume II., San Diego, California, Dec. 1979, 640-654.
	46	Bernard P. Zeigler, Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms, Journal of the ACM (JACM), v.19 n.4, p.742-764, Oct. 1972 [doi>10.1145/321724.321737]
	47	Bernard P. Zeigler, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, 1984
	48	Zeigler, Bernard P. Integrated model pluralism: An alternative to a universal modeling language. Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, 1979.

CITED BY 50

	Ricki G. Ingalls , Douglas J. Morrice , Andrew B. Whinston, The implementation of temporal intervals in qualitative simulation graphs, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.10 n.3, p.215-240, July 2000
	Osman Balci, The implementation of four conceptual frameworks for simulation modeling in high-level languages, Proceedings of the 20th conference on Winter simulation, p.287-295, December 12-14, 1988, San Diego, California, United States
	Ashvin Radiya , Robert G. Sargent, A logic-based foundation of discrete event modeling and simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.4 n.1, p.3-51, Jan. 1994
	C. Michael Overstreet, Using graphs to translate between world views, Proceedings of the 19th conference on Winter simulation, p.582-589, December 14-16, 1987, Atlanta, Georgia, United States
	Alfred W. Jones, Minimizing system models for efficient simulation, Proceedings of the 17th annual symposium on Simulation, p.253-260, January 1984
	James W. Hooper, Language assessment criteria for discrete simulation, Proceedings of the 18th conference on Winter simulation, p.404-408, December 08-10, 1986, Washington, D.C., United States
	Ernest H. Page , Richard E. Nance, Parallel discrete event simulation: a modeling methodological perspective, ACM SIGSIM Simulation Digest, v.24 n.1, p.88-93, July 1994
	C Michael Overstreet , Richard E. Nance, A specification language to assist in analysis of discrete event simulation models, Communications of the ACM, v.28 n.2, p.190-201, Feb. 1985
	Irma Angulo , Gholamreza Torkzadeh, State event in combined simulation, Proceedings of the 20th conference on Winter simulation, p.389-393, December 12-14, 1988, San Diego, California, United States
	Bruce A. Cota , Robert G. Sargent, A modification of the process interaction world view, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.2, p.109-129, April 1992
	Lee Schruben, Simulation modeling with event graphs, Communications of the ACM, v.26 n.11, p.957-963, Nov. 1983
	Paul A. Fishwick, An integrated approach to system modeling using a synthesis of artificial intelligence, software engineering and simulation methodologies, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.4, p.307-330, Oct. 1992
	Paul A. Fishwick , Bernard P. Zeigler, A multimodel methodology for qualitative model engineering, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.1, p.52-81, Jan. 1992
	Herb Schwetman, CSIM: a C-based process-oriented simulation language, Proceedings of the 18th conference on Winter simulation, p.387-396, December 08-10, 1986, Washington, D.C., United States
	Anthony P. Galluscio , John T. Douglass , Brian A. Malloy , A. Joe Turner, A comparison of two methods for advancing time in parallel discrete event simulation, Proceedings of the 27th conference on Winter simulation, p.650-657, December 03-06, 1995, Arlington, Virginia, United States
	Herbert D. Schwetman, Introduction to process-oriented simulation and CSIM (tutorial session), Proceedings of the 22nd conference on Winter simulation, p.154-157, December 09-12, 1990, New Orleans, Louisiana, United States
	Jack C. Wallace, The control and transformation metric: toward the measurement of simulation model complexity, Proceedings of the 19th conference on Winter simulation, p.597-603, December 14-16, 1987, Atlanta, Georgia, United States
	Sanjai Narain , Jeff Rothenberg, Proving temporal properties of hybrid systems, Proceedings of the 22nd conference on Winter simulation, p.250-256, December 09-12, 1990, New Orleans, Louisiana, United States
	Taeshin Park , Paul I. Barton, State event location in differential-algebraic models, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.6 n.2, p.137-165, April 1996
	Enver Yücesan , Lee Schruben, Structural and behavioral equivalence of simulation models, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.1, p.82-103, Jan. 1992
	Margaret L. Loper , Richard M. Fujimoto, Pre-sampling as an approach for exploiting temporal uncertainty, Proceedings of the fourteenth workshop on Parallel and distributed simulation, p.157-164, May 28-31, 2000, Bologna, Italy
	Alfred W. Jones, The design of interactive simulations, Proceedings of the 18th annual symposium on Simulation, p.217-234, March 1985, Tampa, Florida, United States
	Lois M. L. Delcambre , Lissa F. Pollacia, The object flow model for data-based simulation, Proceedings of the 25th conference on Winter simulation, p.519-525, December 12-15, 1993, Los Angeles, California, United States
	Jay B. Ghosh, Asynchronous simulation of some discrete time models, Proceedings of the 16th conference on Winter simulation, p.466-469, December 28-30, 1984, Dallas, TX
	Enver Yücesan , Sheldon H. Jacobson, Computational issues for accessibility in discrete event simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.6 n.1, p.53-75, Jan. 1996
	Ernest H. Page , Bradford S. Canova , John A. Tufarolo, A case study of verification, validation, and accreditation for advanced distributed simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.7 n.3, p.393-424, July 1997
	Richard E. Nance, A history of discrete event simulation programming languages, ACM SIGPLAN Notices, v.28 n.3, p.149-175, March 1993
	Enver Yücesan , Sheldon H. Jacobson, Building correct simulation models is difficult, Proceedings of the 24th conference on Winter simulation, p.783-790, December 13-16, 1992, Arlington, Virginia, United States
	Richard E. Nanoe, Model development revisited, Proceedings of the 16th conference on Winter simulation, p.74-80, December 28-30, 1984, Dallas, TX
	Richard E. Nance , C. Michael Overstreet, Exploring the forms of model diagnosis in a simulation support environment, Proceedings of the 19th conference on Winter simulation, p.590-596, December 14-16, 1987, Atlanta, Georgia, United States
	Richard E. Nance , C. Michael Overstreet , Ernest H. Page, Redundancy in model specifications for discrete event simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.9 n.3, p.254-281, July 1999
	Richard E. Nance, A tutorial view of simulation model development, Proceedings of the 15th conference on Winter simulation, p.325-332, December 12-14, 1983, Arlington, Virginia, United States
	Alexander Tuzhilin, Extending temporal logic to support high-level simulations, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.5 n.2, p.129-155, April 1995
	David P. Miller , R. James Firby , Paul A. Fishwick , Jeff Rothenberg, AI: what simulationists really need to know, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.2 n.4, p.269-284, Oct. 1992
	Bernard P. Zeigler, Impact of general systems orientation: Present and future, Proceedings of the 13th conference on Winter simulation, p.223-225, December 09-11, 1981, Atlanta, Georgia
	Marc Abrams , Ernest H. Page , Richard E. Nance, Simulation program development by stepwise refinement in UNITY, Proceedings of the 23rd conference on Winter simulation, p.233-242, December 08-11, 1991, Phoenix, Arizona, United States
	Douglas W. Jones , James O. Henriksen , Robert M. O'Keefe , C. Dennis Pegden , Robert G. Sargent , Brian W. Unger, Implementations of time (panel), Proceedings of the 18th conference on Winter simulation, p.409-416, December 08-10, 1986, Washington, D.C., United States
	Richard J. Mayer , Robert E. Young, Automation of simulation model generation from system specifications, Proceedings of the 16th conference on Winter simulation, p.570-574, December 28-30, 1984, Dallas, TX
	Lissa F. Pollacia, A survey of discrete event simulation and state-of-the-art discrete event languages, ACM SIGSIM Simulation Digest, v.20 n.3, p.8-25, Fall 1989
	Richard E. Nance, A history of discrete event simulation programming languages, History of programming languages---II, ACM Press, New York, NY, 1996
	Richard E. Nance, A tutorial view of simulation model development, ACM SIGSIM Simulation Digest, v.15 n.2, April 1984
	Richard E. Nance, To be, or not to be: is that the question?, ACM SIGSIM Simulation Digest, v.15 n.1, January 1984
	C. Michael Overstreet , Richard E. Nance, Characterizations and relationships of world views, Proceedings of the 36th conference on Winter simulation, December 05-08, 2004, Washington, D.C.
	Paul J. Sánchez, As simple as possible, but no simpler: a gentle introduction to simulation modeling, Proceedings of the 37th conference on Winter simulation, December 03-06, 2006, Monterey, California
	Peter H. M. Jacobs , Alexander Verbraeck, Single-threaded specification of process-interaction formalism in Java, Proceedings of the 36th conference on Winter simulation, December 05-08, 2004, Washington, D.C.
	Hernán P. Dacharry , Norbert Giambiasi, A formal verification approach for DEVS, Proceedings of the 2007 summer computer simulation conference, July 16-19, 2007, San Diego, California
	Paul J. Sánchez, Fundamentals of simulation modeling, Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, December 09-12, 2007, Washington D.C.
	Hernán P. Dacharry , Norbert Giambiasi, Discrete event modeling through a multi-formalism approach, from a user-oriented perspective, Proceedings of the 2007 spring simulation multiconference, March 25-29, 2007, Norfolk, Virginia
	Michele Fumarola , Alexander Verbraeck, Multiple worlds in simulation games for spatial decision making: concept and architecture, Proceedings of the 40th Conference on Winter Simulation, December 07-10, 2008, Miami, Florida
	Daniele Gianni , Andrea D'Ambrogio , Giuseppe Iazeolla, DisSimJADE: a framework for the development of agent-based distributed simulation systems, Proceedings of the 2nd International Conference on Simulation Tools and Techniques, March 02-06, 2009, Rome, Italy