 |
|
|
|
|
|
|
PEPA Eclipse Plug-in Sometimes it is useful to filter the state-space to see only a subset of the reachable states. State filters allow you to do this. Right-click to add conditions to the filter. 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