On the Complexity of Verifying Structural Properties of Discrete Event Simulation Models

References

• Duersch R. R., Schruben L. W., Wilson J., Henriksen J., Roberts S. An interactive run length control for simulations on PCs. Proc. 1986 Winter Simulation Conf. (1986) 866–870Crossref, Google Scholar
• Fox B. L., Landi D. M. An algorithm for identifying the ergodic subchains and transient states of a stochastic matrix. Comm. ACM (1968) 11:619–621Crossref, Google Scholar
• Garey M. R., Johnson D. S.Computers and Intractability: A Guide to the Theory of NP-Completeness (1979) (W.H. Freeman and Company, New York) Google Scholar
• Glasserman P.Gradient Estimation via Perturbation Analysis (1991) (Kluwer Academic Publishers Group, Dordrecht, The Netherlands) Google Scholar
• Glasserman P., Yao D. D. Some guidelines and guarantees for common random numbers. Management Sci. (1992) 38:884–908Link, Google Scholar
• Henriksen J. O., Crain R. C.GPSS/H Reference Manual (1996) 4th ed.(Wolverine Software Corporation, Annandale, VA) Google Scholar
• Jacobson S. H., Yücesan E. Complexity results for structural properties of discrete event simulation models. (1997) . Technical report, INSEAD, Fontainebleau, FranceGoogle Scholar
• Nance R. E. The time and state relationships in simulation modeling. Comm. ACM (1981) 24:173–179Crossref, Google Scholar
• Overstreet C. M. Model specification and analysis for discrete event simulations. (1982) . Unpublished Ph.D. dissertation, Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VAGoogle Scholar
• Pritsker A. A. B.Introduction to Simulation and SLAM II (1995) 4th ed.(Systems Publishing Company, West Lafayette, IN) Google Scholar
• Sargent R. G. Event graph modeling for simulation with an application to flexible manufacturing systems. Management Sci. (1988) 34:1231–1251Link, Google Scholar
• Schruben L. Simulation modeling with event graphs. Comm. ACM (1983) 26:957–963Crossref, Google Scholar
• Schruben L.Sigma: A Graphical Simulation System (1992) 2nd ed.(The Scientific Press, San Francisco, CA) Google Scholar
• Schruben L., Yücesan E. Modeling paradigms for discrete event simulation. Oper. Res. Lett. (1993) 13:265–275Crossref, Google Scholar
• Shedler G. S.Regeneration and Networks of Queues (1987) (Springer-Verlag, New York) Crossref, Google Scholar
• Som T. K., Sargent R. G. A formal development of event graphs as an aid to structured and efficient simulation programs. ORSA J. Comput. (1989) 1:107–125Link, Google Scholar
• Whitt W. Planning queueing simulations. Management Sci. (1989) 35:1341–1366Link, Google Scholar
• Yücesan E., Jacobson S. H., Swain J., Goldsman D., Crain R., Wilson J. Building correct simulation models is difficult. Proc. 1992 Winter Simulation Conf. (1992) 783–790Crossref, Google Scholar
• Yücesan E., Jacobson S. H. Computational issues for accessibility in simulation. ACM Trans. Model. Comput. Simulation (1996) 6:53–75Crossref, Google Scholar
• Yücesan E., Schruben L. Structural and behavioral equivalence of simulation models. ACM Trans. Model. Comput. Simulation (1992) 2:82–103Crossref, Google Scholar
• Zeigler B. P.Theory of Modelling and Simulation (1976) (John Wiley, New York) Google Scholar