Execution Conditions: A Formalization of Event Cancellation in Simulation Graphs

References

• Balci O., Abrams M. A., Haigh P. L., Comfort J. C. The implementation of four conceptual frameworks for simulation modeling in high-level languages. Proc. 1988 Winter Simulation Conf. (1988) (The Institute of Electrical and Electronics Engineers, Piscataway, NJ) 287–295Crossref, Google Scholar
• Bondy J. A., Murty U. S. R.Graph Theory with Applications (1976) (North-Holland, New York) Crossref, Google Scholar
• Goldberg A., Robson D.Smalltak-80; The Language (1989) (Addison-Wesley, Reading, MA) Google Scholar
• Ingalls R. G. Qualitative simulation graph methodology and implementation. (1999) . Ph.D. dissertation, Department of Management Science and Information Systems, The University of Texas at Austin, Austin, TXGoogle Scholar
• Ingalls R. G., Morrice D. J., Whinston A. B., Tew J. D., Manivannan S., Sadowski D. A., Seila A. F. Interval time clock implementation for qualitative event graphs. Proc. 1994 Winter Simulation Conf. (1994) (Institute of Electrical and Electronic Engineers, Piscataway, NJ) 574–580Crossref, Google Scholar
• Ingalls R. G., Morrice D. J., Whinston A. B., Charnes J. M., Morrice D. J., Brunner D. T., Swain J. J. Eliminating canceling edges from the simulation graph model methodology. Proc. 1996 Winter Simulation Conf. (1996) (Institute of Electrical and Electronic Engineers, Piscataway, NJ) 825–832Crossref, Google Scholar
• Ingalls R. G., Morrice D. J., Whinston A. B. The implementation of temporal intervals in qualitative simulation graphs. ACM Trans. Modeling Comput. Simulation (2000) 10:215–240Crossref, Google Scholar
• Law A. M., Kelton W. D.Simulation Modeling and Analysis (2000) 3rd ed.(McGraw-Hill, New York) Google Scholar
• Lawler E.Combinatorial Optimization: Networks and Matroids (1976) (Holt, Rinehart, and Winston, New York) Google Scholar
• McCormack W. M., Sargent R. G. Analysis of future event set algorithms for discrete-event simulation. Commun. ACM (1981) 24:801–812Crossref, Google Scholar
• Niemeyer P., Peck J.Exploring Java (1996) (O'Reilly & Associates, Cambridge, MA) Google Scholar
• Pegden C. D., Shannon R. E., Sadowski R. P.Introduction to Simulation Using SIMAN (1995) 2nd ed.(McGraw-Hill, New York) Google Scholar
• Pritsker A. A. B.Introduction to Simulation and SLAM II (1986) 3rd ed.(A Halsted Press Book, John Wiley & Sons, New York) 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
• Savage E. L., Schruben L. W., Alexopoulis C., Kang K., Lilegdon W. R., Goldsman D. Eliminating event cancellation in discrete-event simulation. Proc. 1995 Winter Simulation Conf. (1995) (Institute of Electrical and Electronics Engineers, Piscataway, NJ) 744–750Google Scholar
• Schruben L. W. Simulation modeling with event graphs. Commun. ACM (1983) 26:957–963Crossref, Google Scholar
• Schruben L. W.Graphical Simulation Modeling and Analysis Using SIGMA for Windows (1995) (Boyd & Fraser Publishing Company, Danvers, MA) Google Scholar
• Schruben L. W., Yücesan E. Modeling paradigms for discrete-event simulation. Oper. Res. Lett. (1993) 13:265–275Crossref, Google Scholar
• Som T. K., Sargent R. G. Formal development of event graphs as an aid to structured and efficient simulation programs. ORSA J. Comput. (1989) 1:107–125Link, Google Scholar
• Yücesan E. Simulation graphs: a mathematical framework for the design and analysis of discrete-event simulations. (1989) . Ph.D. dissertation, School of Operations Research and Industrial Engineering, Cornell University, Ithaca, NYGoogle Scholar
• Yücesan E., Schruben L. W. Structural and behavioral equivalence of simulation models. ACM Trans. Modeling Comput. Simulation (1992) 2:82–103Crossref, Google Scholar