
PEPA Eclipse Plugin To solve the Markov chain underlying a PEPA model you first need to derive the reachable state space of the model. After this you can perform steadystate analysis. Select "PEPA" > "CTMC" > "Derive" to generate the statespace. Select "PEPA" > "CTMC" > "Steadystate analysis" to solve the Markov chain. Note: The PEPA menu will be greyed out unless the focus is on a PEPA file in the editor. Tutorials

Contact addresses: Jane Hillston and Stephen Gilmore, {jeh,stg}@inf.ed.ac.uk.
Laboratory for Foundations of Computer Science, The University of Edinburgh.
Last modified: Friday 18 November 2011