The PEPA Plug-in Project

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.

• Type: Conference
• Year: 2007
• Where: QEST
• Authors: Mirco Tribastone
• Keywords: Markovian Steady-state Analysis, QEST 2007, Quantitative Evaluation Of Systems, Stochastic Process Algebra, Stochastic Simulation