Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation

DOI10.1080/13873954.2014.911750MaRDI QIDQ5248063zbMATH OpenOpenAlexFDO

Authors Bing Wang, Bo Deng, Fei Xing, Dong-Xia Wang, Yiping Yao

Publication date 27 April 2015

Published in Mathematical and Computer Modelling of Dynamical Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/13873954.2014.911750

zbMATH Keywords

event graphlogical processmodel transformationparallel discrete-event simulationstructural operational semantics

Mathematics Subject Classification ID

General theory of mathematical modeling (00A71) General theory of simulation (00A72) Parallel numerical computation (65Y05) Semantics in the theory of computing (68Q55) Transformations (93B17) Discrete event control/observation systems (93C65)

Recommendations

• An extended event graph-based modelling method for parallel and distributed discrete-event simulation
• Parallel graph transformation for model simulation applied to timed transition Petri nets
• multiPDEVS: a parallel multicomponent system specification formalism
• Extending the DEVS formalism for massively parallel simulation
• scientific article; zbMATH DE number 1262883

Cites work

• n-dimensional cell-DEVS models
• Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions
• An extended event graph-based modelling method for parallel and distributed discrete-event simulation
• Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
• Execution conditions: a formalization of event cancellation in simulation graphs
• Introduction to Discrete Event Systems
• On the generality of event-graph models
• Predator-prey and host-parasite spatial stochastic models
• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• Structural and behavioral equivalence of simulation models
• Trans-dichotomous algorithms for minimum spanning trees and shortest paths

Cited in

(1)

• An extended event graph-based modelling method for parallel and distributed discrete-event simulation

Describes a project that uses

Uses Software

• ANTLR
• DiVinE

This page was built for publication: Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation

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