A Comparison of Structural Formalisms for Modeling Large Markov Models

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

doi:10.1109/IPDPS.2004.1303217

Parallel and Distributed Processing Symposium, International

A Comparison of Structural Formalisms for Modeling Large Markov Models

Year: 2004, Volume: 12, Pages: 196b

DOI Bookmark: 10.1109/IPDPS.2004.1303217

Authors

M.-Y. Chung, University of California at Riverside
G. Ciardo, University of California at Riverside
S. Donatelli, University of Torino
N. He, University of California at Riverside
B. Plateau, ENSIMAG
W. Stewart, North Carolina State University
E. Sulaiman, ENSIMAG
J. Yu, University of California at Riverside

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.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

Generating Interactive 3-D Models for Discrete-Event Modeling Formalisms
2007 International Conference on Cyberworlds (CW'07)
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
Petri Nets and Performance Models, IEEE International Workshop on
GTAexpress: A Software Package to Handle Kronecker Descriptors
Quantitative Evaluation of Systems, International Conference on
Product Form Approximations for Communicating Markov Processes
Quantitative Evaluation of Systems, International Conference on
Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique
Proceedings 9th International Workshop on Petri Nets and Performance Models
Analyzing Large Sparse Markov Chains of Kronecker Products
Quantitative Evaluation of Systems, International Conference on
MQNA - Markovian Queueing Networks Analyser
11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.
Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models
OOPN and DEVS Formalisms for System Specification and Analysis
Software Engineering Advances, International Conference on
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering

A Comparison of Structural Formalisms for Modeling Large Markov Models

Authors

Abstract

Related Articles