On constructing optimistic simulation algorithms for the discrete event system specification

DOI10.1145/1456645.1456646MaRDI QIDQ4565407zbMATH OpenOpenAlexWikidataFDO

Authors James Nutaro

Publication date 12 June 2018

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

Full work available at URL https://doi.org/10.1145/1456645.1456646

zbMATH Keywords

parallel simulationdiscrete event simulationdiscrete event system specificationtime warp algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)

Recommendations

• Extending the DEVS formalism for massively parallel simulation
• scientific article; zbMATH DE number 1822242
• A unifying framework for distributed simulation
• Efficient flattening algorithm for hierarchical and dynamic structure discrete event models
• Parallel algorithm for Petri object simulation

Cited in

(7)

• scientific article; zbMATH DE number 1822242 (Why is no real title available?)
• Parallel discrete event simulation algorithm for manufacturing supply chains
• scientific article; zbMATH DE number 1614659 (Why is no real title available?)
• Analysis of Henriksen’s Algorithm for the Simulation Event Set
• Efficient flattening algorithm for hierarchical and dynamic structure discrete event models
• scientific article; zbMATH DE number 409566 (Why is no real title available?)
• A discrete event method for wave simulation

This page was built for publication: On constructing optimistic simulation algorithms for the discrete event system specification

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