In: Proceedings of 18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 10, April 26 - 30, 2004, Santa Fe, New Mexico, pages 196b-pp. IEEE Press, April 2004.
Abstract: 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.