For the most recent entries see the Petri Nets Newsletter.

A Comparison of Structural Formalisms for Modeling Large Markov Models.

Chung, M.-Y.; Ciardo, G.; Donatelli, S.; He, N.; Plateau, B.; Stewart, W.; Sulaiman, E.; Yu, J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography