On constructing optimistic simulation algorithms for the discrete event system specification

DOI10.1145/1456645.1456646zbMATH Open1390.68745OpenAlexW1971833118WikidataQ58645299 ScholiaQ58645299MaRDI QIDQ4565407FDOQ4565407

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

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

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)

Cited In (7)

• Title not available (Why is that?)
• Parallel discrete event simulation algorithm for manufacturing supply chains
• Title not available (Why is that?)
• Analysis of Henriksen’s Algorithm for the Simulation Event Set
• Efficient flattening algorithm for hierarchical and dynamic structure discrete event models
• A discrete event method for wave simulation
• Title not available (Why is that?)

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)