Title :
The PEPA Plug-in Project
Author :
Tribastone, Mirco
Author_Institution :
Univ. of Edinburgh, Edinburgh
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;
Conference_Titel :
Quantitative Evaluation of Systems, 2007. QEST 2007. Fourth International Conference on the
Conference_Location :
Edinburgh
Print_ISBN :
978-0-7695-2883-0
DOI :
10.1109/QEST.2007.34
