article

Free access

Structural and behavioral equivalence of simulation models

Editor: Richard Nance Authors:

Enver Yücesan,

Lee SchrubenAuthors Info & Claims

ACM Transactions on Modeling and Computer Simulation (TOMACS), Volume 2, Issue 1

Pages 82 - 103

https://doi.org/10.1145/132277.132281

Published: 02 January 1992 Publication History

PDF eReader

References

[1]

BONDY, J. A., AND MURTY, U. S.R. Graph Theory wzth Applzcattons. North-Holland, New York, 1976.

Crossref

Google Scholar

[2]

Consolidated Analysis Centers, Inc. Simscript 11.5 Reference Handbook. Los Angeles, Calif., 1976.

Google Scholar

[3]

GAREY, M. R., AND JOHNSON, D.S. Computers and Intractab,l~ty: A Guide to the Theory of NP-Completeness. W. H. Freeman and Co., New York, 1979.

Crossref

Google Scholar

[4]

HOPCROFT, J. E., AND TAR JAN, R.E. A V2 algorithm for determining isomorphism of planar graphs. Inf. Process. Lett. (1971), 32-34.

Google Scholar

[5]

HOPCROFT, J. E., AND TARJAN, R.E. Isomorphtsm of Planar Graphs. Working paper. 1971.

Google Scholar

[6]

HOPCROFT, J. E., ANn TAP~JAN, R. E. Efficient planarity testing. J. ACM 21, 4 (1974), 549-568.

Crossref

Google Scholar

[7]

HoovER, S. V., AND PERRY, R.F. Simulation: A Problem Solving Approach. Addison-Wesley, Reading, Mass., 1989.

Crossref

Google Scholar

[8]

LAW, A. M., AND KELTON, W.D. Stmulation Modeling and Analysis. 2nd ed. McGraw-Hill, New York, 1991.

Crossref

Google Scholar

[9]

LAWLER, E. Combinatorml Optimization: Networks and Matrotds. Holt, Rinehart, and Winston, New York, 1976.

Google Scholar

[10]

NANCE, R.E. The time and state relationships in simulation modeling. Commun. ACM 24, 4 (Apr. 1991), 173-179.

Crossref

Google Scholar

[11]

OVERSTREET, C.M. Model specification and analysis for discrete event simulations. Ph.D. dissertation. Virginia Tech., Blacksburg, Virginia, 1982.

Crossref

Google Scholar

[12]

PEGDEN, C.D. Introduction to SIMAN. Systems Modeling Corp., State College, Penn, 1985.

Google Scholar

[13]

PRITSKER, A. A.B. Introduction to Stmulatton and SLAM H. 3rd ed. John Wiley & Sons, New York, 1987.

Crossref

Google Scholar

[14]

SARGENT, R.G. Event graph modeling for simulation with an application to flexible manufacturing systems. Manage. Sct. 34, 10 (1988), 1231 1251.

Crossref

Google Scholar

[15]

SCHRmER, T.J. An Introduction to Simulation Using GPSS/H. John Wiley, New York, 1990.

Crossref

Google Scholar

[16]

SCHRUBEN, L. Simulation modeling with event graphs. Commun. ACM 26, 11 (Nov. 1983), 957-963.

Crossref

Google Scholar

[17]

SCHRUBEN, L. Sigma: A Graphical Simulation System. The Scientific Press, San Francisco, Calif., 1991.

Google Scholar

[18]

SCHRUBEN, L. Sigma tutorial. In Proceedings of the 1991 Wtnter Simulation Conference. 1991.

Crossref

Google Scholar

[19]

SCHRUBEN, L., AND Y~CESAN, E. On the generality of simulation graphs. Tech. Rep. #773. Cornell University, Ithaca, N.Y., 1987.

Google Scholar

[20]

SCHRUBEN, L., AND YtCCESAN, E. Transaction tagging in highly congested simulations. Queuemg Syst. 3, (1988), 257-264.

Crossref

Google Scholar

[21]

SCHRUBEN, L., AND Yf3CESAN, E. Simulation graph duality: A world view transformation for simple queueing models. In Proceedings of the Winter Simulation Conference. 1989, pp. 738 745.

Crossref

Google Scholar

[22]

SOM, T. K., AND S~GENT, R. G. A formal development of event graphs as an aid to structured and efficient simulation programs. ORSA J. Comput. 1, 2 (1989), 107-125.

Google Scholar

[23]

Y~CESAN, E. Simulation graphs for the design and analysis of discrete event simulation models. Ph.D. dissertation. Cornell University. Ithaca, N.Y., 1989.

Google Scholar

[24]

Y~CESAN, E. Analysis of Markov chains using simulation graph models. In Proceedings of the Winter S~mulation Conference. 1990, pp. 468-471.

Crossref

Google Scholar

[25]

ZEIGLER, B.P. Theory of Modelling and Simulation. Reprint Edition. Robert E. Krieger Publishing Company, Inc., Malabar, Fla., 1985.

Crossref

Google Scholar

Cited By

View all

Gunal MOsais YWagner G(2023)Event Graphs: Syntax, Semantics, and ImplementationProceedings of the Winter Simulation Conference10.5555/3643142.3643262(1448-1462)Online publication date: 10-Dec-2023
https://dl.acm.org/doi/10.5555/3643142.3643262
Gunal MIsmail Osais YWagner G(2023)Event Graphs: Syntax, Semantics, and Implementation2023 Winter Simulation Conference (WSC)10.1109/WSC60868.2023.10408354(1448-1462)Online publication date: 10-Dec-2023
https://doi.org/10.1109/WSC60868.2023.10408354
Lugaresi GMatta A(2021)Automated manufacturing system discovery and digital twin generationJournal of Manufacturing Systems10.1016/j.jmsy.2021.01.00559(51-66)Online publication date: Apr-2021
https://doi.org/10.1016/j.jmsy.2021.01.005
Show More Cited By

Index Terms

Structural and behavioral equivalence of simulation models
1. Computing methodologies
  1. Modeling and simulation
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Visual languages

Recommendations

Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
SCSC '10: Proceedings of the 2010 Summer Computer Simulation Conference

The conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract ...
Simulation modeling for analysis

This article explores possibilities for designing and executing simulation models with specific analysis goals in mind, and shows that a tight coupling of the modeling and analysis phases in a simulation project can lead to dramatic improvements in the ...
The implementation of temporal intervals in qualitative simulation graphs

In this paper we develop and implement a simulation modeling methodology that combines discrete event simulation with qualitive simulation. Our main reason for doing so is to extend the application of discrete event simulation to systems found in ...

Comments

Information & Contributors

Information

Published In

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 January 1992

Published in TOMACS Volume 2, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

62
Total Citations
View Citations
725
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)9

Reflects downloads up to 26 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gunal MOsais YWagner G(2023)Event Graphs: Syntax, Semantics, and ImplementationProceedings of the Winter Simulation Conference10.5555/3643142.3643262(1448-1462)Online publication date: 10-Dec-2023
https://dl.acm.org/doi/10.5555/3643142.3643262
Gunal MIsmail Osais YWagner G(2023)Event Graphs: Syntax, Semantics, and Implementation2023 Winter Simulation Conference (WSC)10.1109/WSC60868.2023.10408354(1448-1462)Online publication date: 10-Dec-2023
https://doi.org/10.1109/WSC60868.2023.10408354
Lugaresi GMatta A(2021)Automated manufacturing system discovery and digital twin generationJournal of Manufacturing Systems10.1016/j.jmsy.2021.01.00559(51-66)Online publication date: Apr-2021
https://doi.org/10.1016/j.jmsy.2021.01.005
Lugaresi GMatta A(2020)Generation and tuning of discrete event simulation models for manufacturing applicationsProceedings of the Winter Simulation Conference10.5555/3466184.3466495(2707-2718)Online publication date: 14-Dec-2020
https://dl.acm.org/doi/10.5555/3466184.3466495
Nikolakopoulos AKarypis G(2020)Boosting Item-based Collaborative Filtering via Nearly Uncoupled Random WalksACM Transactions on Knowledge Discovery from Data10.1145/340624114:6(1-26)Online publication date: 28-Sep-2020
https://dl.acm.org/doi/10.1145/3406241
Mendel TToch E(2020)My Mom was Getting this PopupProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/33698213:4(1-20)Online publication date: 14-Sep-2020
https://dl.acm.org/doi/10.1145/3369821
Liu TNicholas JTheilig MGuntuku SKording KMohr DUngar L(2020)Machine Learning for Phone-Based Relationship EstimationProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/33698203:4(1-23)Online publication date: 14-Sep-2020
https://dl.acm.org/doi/10.1145/3369820
Abdolrahmani AStorer KRoy AKuber RBranham S(2020)Blind Leading the SightedACM Transactions on Accessible Computing10.1145/336842612:4(1-35)Online publication date: 16-Jan-2020
https://dl.acm.org/doi/10.1145/3368426
Lugaresi GMatta A(2020)Generation and Tuning of Discrete Event Simulation Models for Manufacturing Applications2020 Winter Simulation Conference (WSC)10.1109/WSC48552.2020.9383870(2707-2718)Online publication date: 14-Dec-2020
https://doi.org/10.1109/WSC48552.2020.9383870
Abbas UGlaubius RDing YHood G(2019)Drug resistance from preferred antiretroviral regimens for HIV infection in South Africa: A modeling studyPLOS ONE10.1371/journal.pone.021864914:7(e0218649)Online publication date: 3-Jul-2019
https://doi.org/10.1371/journal.pone.0218649
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study

Simulation modeling for analysis

The implementation of temporal intervals in qualitative simulation graphs

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations