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

DOI10.1080/13873954.2014.911750zbMath1310.93027OpenAlexW1979458422MaRDI QIDQ5248063

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

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

structural operational semanticsevent graphmodel transformationparallel discrete-event simulationlogical process

Mathematics Subject Classification ID

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

Uses Software

• ANTLR
• DiVinE

Cites Work

• Reconciling statechart semantics
• Statecharts: a visual formalism for complex systems
• Trans-dichotomous algorithms for minimum spanning trees and shortest paths
• Predator-prey and host-parasite spatial stochastic models
• \(n\)-dimensional cell-DEVS models
• Abstract next subvolume method: a logical process-based approach for spatial stochastic simulation of chemical reactions
• Execution Conditions: A Formalization of Event Cancellation in Simulation Graphs
• On the Generality of Event-Graph Models
• 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
• Introduction to Discrete Event Systems
• Structural and behavioral equivalence of simulation models