PEPS2007 - Stochastic Automata Networks Software Tool
Léonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity · 2007
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.