PEPS2007 - Stochastic automata networks software tool

Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007

Volumn , Issue , 2007, Pages 163-164

  Brenner, Leonardo ^a,b   Fernandes, Paulo ^b   Plateau, Brigitte ^a   Sbeity, Ihab ^a  

^a INP Grenoble ENSIMAG   (France)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA NETWORKS; MARKOV CHAINS; SOFTWARE TOOLS; STOCHASTIC AUTOMATA NETWORKS; STORAGE SCHEMES; TENSOR ALGEBRAS; TIME LINES; TRANSITION MATRIXES; VECTOR MATRIXES;

MARKOV PROCESSES; MATRIX ALGEBRA; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC MODELS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 47949125449     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2007.30     Document Type: Conference Paper

References (10)

1. B. Plateau, "On the stochastic structure of parallelism and synchronization models for distributed algorithms," in SIGMETRICS 85, Texas, USA, 1985, pp. 147-154.
2. B. Plateau, J. Fourneau, and K. Lee, "PEPS: A package for solving complex Markv model of parallel systems," in TOOLS 88, Spain, 1988.
3. P. Fernandes, B. Plateau, and W. J. Stewart, "Efficient descriptor - Vector multiplication in Stochastic Automata Networks," Journal of the ACM, vol. 45, no. 3, pp. 381-414, 1998.
4. A. Benoit, L. Brenner, P. Fernandes, and B. Plateau, "Aggregation of Stochastic Automata Networks with replicas," Linear Algebra and its Applications, vol. 386, pp. 111-136, July 2004.
5. J.-M. Fourneau, B. Plateau, I. Sbeity, and W. Stewart, "SANs and Lumpable Stochastic Bounds: Bounding Availability," Computer System, Network Performance and Quality of Service, 2005.
6. W. J. Stewart, Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.
7. G. Ciardo, A. Blakemore, P. Chimento, J. Muppala, and K. Trivedi, Linear Algebra, Markov Chains, and Queueing Models. Springer-Verlag, 1993, ch. Automated generation and analysis of Markov reward models using Stochastic Reward Nets., pp. 145-191.
8. B. Sericola, "Availability analysis of repairable computer systems and stationarity detection," IEEE Transactions on Computers, vol. 48, no. 11, pp. 1166-1172, 1999.
9. I. Sbeity, L. Brenner, B. Plateau, and W. Stewart, "Phase-type distributions in stochastic automata networkss," European Journal of Operational Research, 2007 - In Press.
10. G. Ciardo, G. Luttgen, and R. Siminiceanu, "Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation," in Proc. Tools and Algorithms for the Construction and Analysis of Systems / TACAS 2001, ser. LNCS, vol. 2031. Genova, Italy: Springer-Verlag, 2001, pp. 328-342.