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
G. Ciardo, University of California at Riverside
N. He, University of California at Riverside
J. Yu, University of California at Riverside
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