Title :
Comparison of structural formalisms for modeling large Markov models
Author :
Chung, M.-Y. ; Ciardo, G. ; Donatelli, S. ; He, N. ; Plateau, B. ; Stewart, W. ; Sulaiman, E. ; Yu, J.
Author_Institution :
California Univ., Riverside, CA, USA
Abstract :
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.
Keywords :
Markov processes; Petri nets; automata theory; large-scale systems; Kronecker approach; Markov model; PEPS; SMART; complex Markov system; stochastic Petri nets; stochastic automata network; structural formalism comparison; Automata; Helium; Large-scale systems; Petri nets; Software packages; State-space methods; Stochastic processes; Stochastic systems; Storage area networks; Testing;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International
Print_ISBN :
0-7695-2132-0
DOI :
10.1109/IPDPS.2004.1303217
