View article

This article presents an extension of the DEVS formalism to represent stochastic discrete event systems. Making use of probability space theory, the resulting STDEVS formalism provides a formal framework for modeling an simulation of non–deterministic DEVS models.