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