A survey of the PEPA tools
Stephen T. Gilmore, Jane Elizabeth Hillston · 2003
This paper surveys the history and the current state of tool support for modelling with the PEPA stochastic process algebra and the PEPA nets modelling language. We discuss future directions for tool support for the PEPA family of languages. 1