Title :
PEPS2007 - Stochastic Automata Networks Software Tool
Author :
Brenner, Leonardo ; Fernandes, Paulo ; Plateau, Brigitte ; Sbeity, Ihab
Author_Institution :
LIG - ENSIMAG - ZIRST, Montbonnot-St.-Martin
Abstract :
PEPS is a tool package for modeling and solving models expressed in Stochastic Automata Networks fS AN J. The SAN formalism defines a compact storage scheme for the transition matrix of the Markov chain and it uses tensor algebra to handle the basic vector matrix multiplications. This paper presents a short timeline of PEPS previous versions and the new features included in version 2007.
Keywords :
Markov processes; mathematics computing; matrix algebra; software packages; stochastic automata; Markov chain; PEPS2007; compact storage scheme; stochastic automata networks software tool; tensor algebra; transition matrix; vector matrix multiplications; Algebra; Automata; Packaging; Software packages; Software tools; Sparse matrices; Stochastic processes; Stochastic systems; Storage area networks; Tensile stress;
Conference_Titel :
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location :
Edinburgh
Print_ISBN :
978-0-7695-2883-0
DOI :
10.1109/QEST.2007.33
