PEPA Nets: A Structured Performance Modelling Formalism

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.

[1]  Kim G. Larsen,et al.  Compositional Theories Based on an Operational Semantics of Contexts , 1989, REX Workshop.

[2]  R. F. Brown,et al.  PERFORMANCE EVALUATION , 2019, ISO 22301:2019 and business continuity management – Understand how to plan, implement and enhance a business continuity management system (BCMS).

[3]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[4]  Corrado Priami,et al.  Stochastic pi-Calculus , 1995, Comput. J..

[5]  Stephen Gilmore,et al.  Elementary structural analysis for PEPA , 1997 .

[6]  Claus Reinke.  Haskell-Coloured Petri Nets , 1999, IFL.

[7]  Mahmoud Naghshineh,et al.  Channel assignment schemes for cellular mobile telecommunication systems: A comprehensive survey , 2000, IEEE Communications Surveys & Tutorials.

[8]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[9]  Boudewijn R. Haverkort,et al.  DyQNtool-a performability modelling tool based on the dynamic queueing network concept , 1991 .

[10]  Falko Bause,et al.  Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[11]  Robin Milner,et al.  Definition of standard ML , 1990 .

[12]  Stephen Gilmore,et al.  A stochastic π-calculus semantics for PEPA nets , 2002 .

[13]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[14]  Holger Hermanns,et al.  Exploiting stochastic process algebra achievements for generalized stochastic Petri nets , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[15]  Peter Buchholz,et al.  Multilevel Solutions for Structured Markov Chains , 2000, SIAM J. Matrix Anal. Appl..

[16]  David B. MacQueen,et al.  The Definition of Standard ML (Revised) , 1997 .

[17]  Richard P. Hopkins,et al.  A Visual Formalism for the Composition of Stochastic Petri Nets , 2002, Computer Performance Evaluation / TOOLS.

[18]  Rüdiger Valk,et al.  Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

[19]  Graham Clark,et al.  Techniques for the construction and analysis of algebraic performance models , 2000 .

[20]  Stephen Gilmore,et al.  An Efficient Algorithm for Aggregating PEPA Models , 2001, IEEE Trans. Software Eng..

[21]  Ian Clarke,et al.  Freenet: A Distributed Anonymous Information Storage and Retrieval System , 2000, Workshop on Design Issues in Anonymity and Unobservability.

[22]  Holger Hermanns,et al.  Interactive Markov Chains , 2002, Lecture Notes in Computer Science.

[23]  Manuel Silva Suárez,et al.  A comparison of the expressiveness of SPA and bounded SPN models , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[24]  Helena Szczerbicka,et al.  PNiQ: Intergration of queuing networks in generalised stochastic Petri nets , 1999, IEE Proc. Softw..

[25]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[26]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[27]  Susanna Donatelli,et al.  A comparison of performance evaluation process algebra and generalized stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[28]  Roberto Gorrieri,et al.  A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time , 1998, Theor. Comput. Sci..

[29]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[30]  A. H. Aghvami,et al.  Teletraffic performance evaluation of microcellular personal communication networks (PCN's) with prioritized handoff procedures , 1999 .

[31]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[32]  Jan Friso Groote,et al.  Transition System Specifications with Negative Premises , 1993, Theor. Comput. Sci..

[33]  M. IsabelC.Rojas,et al.  Compositional construction and analysis of Petri net systems , 1997 .

[34]  William H. Sanders,et al.  Implementing a Stochastic Process Algebra within the Möbius Modeling Framework , 2001, PAPM-PROBMIV.

[35]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[36]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..