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/

zbMATH Keywords

simulation modelssimulation graphs

Mathematics Subject Classification ID

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; zbMATH DE number 4201713
• Execution conditions: a formalization of event cancellation in simulation graphs

Cited in

(8)

• A queuing network model for the management of berth crane operations
• Hierarchical Emulation: A Method for Modeling and Comparing Nested Simulators
• Behavioural models for FMI co-simulations
• M-Labeled Digraphs: An Aid to the Use of Structural and Simulation Models
• Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
• The conical methodology and the evolution of simulation model development
• 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

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)