Elementary structural analysis for PEPA
Stephen T. Gilmore, Jane Elizabeth Hillston, Laura Recalde · 1997
We consider the adaptation of important structural techniques for analysing behavioural properties of Petri nets to models expressed in process algebras such as PEPA [Hil96]. 1 Introduction Performance Evaluation Process Algebra (PEPA) is a high-level modelling language which is used for performance analysis of models of distributed computer and communication systems. In common with the approach adopted by related modelling languages which also use a process-algebra based approach [GHR93, BBG95] the analysis of system performance is made possible by the inclusion of timing information in a PEPA model. Performance analysis is only an appropriate tool to use in the investigation of a system if certain behavioural criteria are met; one example being freedom from deadlock. Similarly, model solution could give misleading results if some of the activities in the model are never performed. In this paper we concentrate upon such behavioural investigation of PEPA models. One benefit of a separ...