PEPS2007 - Stochastic Automata Networks Software Tool

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Leonardo Brenner Articles by Paulo Fernandes Articles by Brigitte Plateau Articles by Ihab Sbeity

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)

PEPS2007 - Stochastic Automata Networks Software Tool (PDF)

Edinburgh, Scotland, UK

September 17-September 19

ISBN: 0-7695-2883-X

	ASCII Text	x
	Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity, "PEPS2007 - Stochastic Automata Networks Software Tool," Quantitative Evaluation of Systems, International Conference on, pp. 163-164, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007.

	BibTex	x
	@article{ 10.1109/QEST.2007.33, author = {Leonardo Brenner and Paulo Fernandes and Brigitte Plateau and Ihab Sbeity}, title = {PEPS2007 - Stochastic Automata Networks Software Tool}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2883-X}, pages = {163-164}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2007.33}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Quantitative Evaluation of Systems, International Conference on TI - PEPS2007 - Stochastic Automata Networks Software Tool SN - 0-7695-2883-X SP163 EP164 A1 - Leonardo Brenner, A1 - Paulo Fernandes, A1 - Brigitte Plateau, A1 - Ihab Sbeity, PY - 2007 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

Leonardo Brenner, LIG-ENSIMAG-ZIRST

Paulo Fernandes, PUCRS, Brazil

Brigitte Plateau, LIG-ENSIMAG-ZIRST

Ihab Sbeity, LIG-ENSIMAG-ZIRST

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.33

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.