In: Proc. 3-rd IEEE Annual Int. Computer Performance and Dependability Symposium (IPDS'98), 7-9 September 1998, Durham, NC, pages 1-272. 1998.
Abstract: A new approach to the compact symbolic representation of stochastic transition systems is developed which is based on decision node BDDs, a novel stochastic extension of BDDs. Parallel composition of components can be performed on the basis of this new data structure. Symbolic state space reduction by Markovian bisimulation is also discussed.
Keywords: binary decision diagrams, decision nodes, software tools, stochastic transition systems.