View article

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 stochasticoriented simulation example with the main purpose of performance analysis in computer systems and data networks.