DocumentCode
3464422
Title
The PEPA Plug-in Project
Author
Tribastone, Mirco
Author_Institution
Univ. of Edinburgh, Edinburgh
fYear
2007
fDate
17-19 Sept. 2007
Firstpage
53
Lastpage
54
Abstract
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, and stochastic simulation.
Keywords
Markov processes; graphical user interfaces; mathematics computing; process algebra; GUI-based tool; Markovian steady-state analysis; PEPA plug-in project; fluid flow analysis; stochastic process algebra; stochastic simulation; Algebra; Computer science; Fluid flow; Laboratories; Performance analysis; State-space methods; Steady-state; Stochastic processes; Stochastic systems; Throughput;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location
Edinburgh
Print_ISBN
978-0-7695-2883-0
Type
conf
DOI
10.1109/QEST.2007.34
Filename
4338237
Link To Document