About this document
Stochastic Automata for Discrete Simulation by Hadi P. is a document available to read on EtoBox.
This document discusses using stochastic process algebra (SPADEs) for general purpose discrete event simulation. It describes how SPADEs allows compositional construction of simulation models at runtime. The document also notes that SPADEs specifications can be analyzed using traditional process algebraic techniques for properties like deadlocks. It provides an overview of the stochastic automaton model used for semantics, and describes a prototype simulation algorithm that has been implemented based on the
- Author
- Hadi P.
- Language
- EN