PEPS is a tool package for modeling and solving models expressed in Stochastic Automata Networks (SAN). 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.
Citation:
Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity, "PEPS2007 - Stochastic Automata Networks Software Tool," qest, pp.163-164, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007