This guide provides a step by step description of the PEPA plugin.
It shows how you can edit PEPA models, carry out static analysis, obtain the underlying Continuous Time Markov Chain for steady-state analysis or perform time series analysis using Stochastic Simulation Algorithms or Ordinary Differential Equations. This guide will also describe how to use import/export tools for data exchange with third-party applications.
Familiarity with PEPA is assumed. To learn more about PEPA visit the PEPA web site.