PEPS2007 - Stochastic Automata Networks Software Tool

  • Authors:
  • Leonardo Brenner;Paulo Fernandes;Brigitte Plateau;Ihab Sbeity

  • Affiliations:
  • LIG-ENSIMAG-ZIRST;PUCRS, Brazil;LIG-ENSIMAG-ZIRST;LIG-ENSIMAG-ZIRST

  • Venue:
  • QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.