Structural and behavioral equivalence of simulation models

DOI10.1145/132277.132281zbMATH Open0842.68104OpenAlexW2010843738MaRDI QIDQ4876090FDOQ4876090

Authors: Enver Yücesan, Lee W. Schruben 

Publication date: 10 June 1996

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/tomacs/

Recommendations

• Verification and validation of simulation models
• scientific article; zbMATH DE number 1705168
• A knowledge-based approach for the validation of simulation models
• scientific article
• Execution conditions: a formalization of event cancellation in simulation graphs

zbMATH Keywords

simulation modelssimulation graphs

Mathematics Subject Classification ID

Cited In (7)

• A queuing network model for the management of berth crane operations
• Execution conditions: a formalization of event cancellation in simulation graphs
• An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study
• Hierarchical Emulation: A Method for Modeling and Comparing Nested Simulators
• Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
• M-Labeled Digraphs: An Aid to the Use of Structural and Simulation Models
• The conical methodology and the evolution of simulation model development

This page was built for publication: Structural and behavioral equivalence of simulation models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876090)