A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Author

Donatelli, S. ; Ribaudo, M. ; Hillston, J.

Author_Institution

Dipartimento di Inf., Torino Univ., Italy

fYear

1995

fDate

3-6 Oct 1995

Firstpage

158

Lastpage

168

Abstract

Generalized stochastic Petri nets (GSPN) and performance evaluation process algebra (PEPA) can both be used to study qualitative and quantitative behaviour of systems in a single environment. The paper presents a comparison of the two formalisms in terms of the facilities that they provide to the modeller; 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 exchanging 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

Keywords

Markov processes; Petri nets; algebra; formal logic; modelling; process algebra; generalized stochastic Petri nets; modeller; modelling resource contention; performance evaluation process algebra; performance model; qualitative system behaviour; quantitative system behaviour; Algebra; Carbon capture and storage; Concurrent computing; Markov processes; Mathematical model; Performance analysis; Performance evaluation; Petri nets; Stochastic processes; Stochastic systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on

Conference_Location

Durham, NC

ISSN

1063-6714

Print_ISBN

0-8186-7210-2

Type

conf

DOI

10.1109/PNPM.1995.524326

Filename

524326