Experiences with the PEPA performance modelling tools

The Performance Evaluation Process Algebra (PEPA) language is supported by a suite of modelling tools which assist in the solution and analysis of PEPA models. The design and development of these tools have been influenced by a variety of factors, including the wishes of other tool users to use the language for purposes which were not anticipated by the tool designers. In consequence, the suite of PEPA tools has been adapted to serve the needs of these users while continuing to support the language designers themselves. This paper reports on the use of the PEPA tools and gives some advice gained from user experiences