A Comparison of Performance Evaluation Process Algebra and Generalized
Susanna Donatelli, Marina Ribaudo, Jane Elizabeth Hillston · 1995
Generalized Stochastic Petri Nets (GSPN) and Perform-ance Evaluation Process Algebra (PEPA) can both be used to study qualitative and quantitative behaviour of systems in a single environment. This paper presents a comparison of the two formalisms in terms of the facilities that they provide to the model-ler, considering both the definition and the analysis of the performance model. Our goal is to provide a better understanding of both formalisms, and to prepare a fertile ground for exchan-ging ideas and techniques between the two. To illustrate similarities and differences, we make the different issues more concrete by means of an example modelling resource contention. 1