18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 10
A Comparison of Structural Formalisms for Modeling Large Markov Models
Santa Fe, New Mexico
April 26-April 30
ISBN: 0-7695-2132-0
Stochastic automata networks and generalized stochastic Petri nets are the main formalisms used to model complex Markov systems in a structured "Kronecker" approach. We compare them on a suite of examples using two tools, PEPS and SMART.
Citation:
M.-Y. Chung, G. Ciardo, S. Donatelli, N. He, B. Plateau, W. Stewart, E. Sulaiman, J. Yu, "A Comparison of Structural Formalisms for Modeling Large Markov Models," ipdps, vol. 11, pp.196b, 18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 10, 2004
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||