DocumentCode
3046913
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
fYear
2004
fDate
26-30 April 2004
Firstpage
196
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International
Print_ISBN
0-7695-2132-0
Type
conf
DOI
10.1109/IPDPS.2004.1303217
Filename
1303217
Link To Document