DEVS formalism and methodology: unity of conception/diversity of application
WSC '93 Proceedings of the 25th conference on Winter simulation
GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
Transactions of the Society for Computer Simulation International
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Ergodic machines--probabilistic and approximate homomorphic simplifications.
Ergodic machines--probabilistic and approximate homomorphic simplifications.
Analysis and simplifications of discrete event systems and jackson queueing networks
Analysis and simplifications of discrete event systems and jackson queueing networks
Parallel discrete event simulation with application to continuous systems
Parallel discrete event simulation with application to continuous systems
Continuous System Simulation
An Introduction to Statistical Signal Processing
An Introduction to Statistical Signal Processing
Designing an interface for real-time and embedded DEVS
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Informal DEVS conventions motivated by practical considerations (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
| Hi-index | 0.00 |
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a formal framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate its use in a stochastic-oriented simulation example with the main purpose of performance analysis in computer systems and data networks.