PEPA — Performance Evaluation Process Algebra

PEPA

Installing the PEPA Plug-in into Eclipse is relatively simple and quick, as this movie demonstrates.

Getting started

State-space generation and navigation

Markovian modelling and experimentation