
The PEPA Workbench [Version of September 1999, "Marchmont Crescent"]
====================================================================

This is an extension of the Standard ML edition of the PEPA workbench
with support for the PMLmu modelling language.  Examples of the
modelling language are given in the testmodels directory and in the
PhD thesis of Graham Clark (available on-line at the PEPA Web site
http://www.dcs.ed.ac.uk/pepa).

Stephen Gilmore
16th April 2003

