A comparison of structural formalisms for modeling large Markov models
Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, B. Plateau, William J. Stewart, E. Sulaiman, Jinghu Yu · 2004
Summary form only given. 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.