Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation
From MaRDI portal
Publication:5248063
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
structural operational semanticsevent graphmodel transformationparallel discrete-event simulationlogical process
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
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
