Computer Performance Evaluation: Modelling Techniques and Tools | Zendy

Tony Field | Zendy; Peter G. Harrison | Zendy; Jeremy T. Bradley | Zendy; Uli Harder | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Computer Performance Evaluation: Modelling Techniques and Tools

Author(s) -

Tony Field,

Peter G. Harrison,

Jeremy T. Bradley,

Uli Harder

Publication year - 2002

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-46029-2

Subject(s) - computer science , software engineering

In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way, the net is used to provide a structure for combining related PEPA systems. The combined modelling language naturally represents such applications as mobile code systems where the PEPA terms are used to model the program code which moves between network hosts (the places in the net). We describe the implementation of a tool to support this modelling formalism and apply this to model a peer-to-peer filestore

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research