PEPA Nets: A structured performance modelling formalism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2324 LNCS, Issue , 2002, Pages 111-130

  Gilmore, Stephen ^a   Hillston, Jane ^a   Ribaudo, Marina ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SIMULATION LANGUAGES; PETRI NETS; RANDOM PROCESSES; STOCHASTIC SYSTEMS; COMPUTATIONAL LINGUISTICS;

MOBILE CODES; NETWORK HOSTS; PEER TO PEER; PERFORMANCE MODELLING; PROGRAM CODE; STOCHASTIC PETRI NETS; STOCHASTIC PROCESS ALGEBRAS;

MODELING LANGUAGES;

EID: 84898064661     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46029-2_7     Document Type: Conference Paper

References (24)

1. M. Ajmone Marsan, A. Bobbio, and S. Donatelli. Petri nets in performance analysis: An introduction. In Reisig, W. and Rozenberg, G., editors, Lectures on Petri Nets I: Basic Models, Volume 1491 of LNCS, pages 211-256. Springer-Verlag, 1998.
2. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
3. M. Bernardo and R. Gorrieri. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science, 202:1-54, 1998.
4. H. Hermanns. Interactive Markov Chains. PhD thesis, Universität Erlangen-Nürnberg, 1999.
5. S. Donatelli, J. Hillston, and M. Ribaudo. A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets. In Proc. 6th International Workshop on Petri Nets and Performance Models, Durham, North Carolina, 1995.
6. S. Gilmore, J. Hillston, and L. Recalde. Elementary structural analysis for PEPA. Technical Report ECS-LFCS-97-377, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997.
7. I. C. Rojas M. Compositional construction and analysis of Petri net systems. PhD thesis, The University of Edinburgh, 1997.
8. J. Hillston, L. Recalde, M. Ribaudo, and M. Silva. A comparison of the expressiveness of SPA and bounded SPN models. In B. Haverkort and R. German, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001. IEEE Computer Science Press.
9. C. Reinke. Haskell-Coloured Petri Nets. In Implementation of Functional Languages, 11th International Workshop, Volume 1868 of LNCS, pages 165-180, Lochem, The Netherlands, September 1999. Springer-Verlag.
10. M. Becker and H. Szczerbicka. PNiQ: Integration of queuing networks in generalized stochastic petri nets. IEE Proceedings-Software, 146(1):27-33, February 1999. Special issue of the proceedings of the Fourteenth UK Performance Engineering Workshop.
11. F. Bause. Queueing Petri nets-a formalism for the combined qualitative and quantitative analysis of systems. In 5th International Workshop on Petri Nets and Performance Models, pages 14-23, Toulouse, France, October 1993.
12. B.R. Haverkort, I.G. Niemegeers, and P Veldhuyzen van Zanten. DyQNtool-a performability modelling tool based on the dynamic queueing network concept. In G. Balbo and G. Serazzi, editors, Modelling Techniques and Tools for Computer Performance Evaluation, pages 181-195. North-Holland, 1992.
13. R. Valk. Petri nets as token objects-an introduction to Elementary Object Nets. In J. Desel and M. Silva, editors, Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Volume 1420 of Lecture Notes in Computer Science, pages 1-25, Lisbon, Portugal, 1998. Springer-Verlag.
14. C. Priami. Stochastic π-calculus. In S. Gilmore and J. Hillston, editors, Proceedings of the Third International Workshop on Process Algebras and Performance Modelling, pages 578-589. Special Issue of The Computer Journal, 38(7), December 1995.
15. K.G. Larsen. Compositional theories based on an operational semantics of contexts. In REX Workshop on Stepwise Refinement of Parallel Systems, Volume 430 of LNCS, pages 487-518. Springer-Verlag, May 1989.
16. G. Clark. Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, The University of Edinburgh, 2000.
17. J.F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118(2):263-299, 1993.
18. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag.
19. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster. The Möbius modeling tool. In Proceedings of the 9th International Workshop on Petri Nets and Performance Models, pages 241-250, Aachen, Germany, September 2001.
20. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML: Revised 1996. The MIT Press, 1996.
21. G. Clark and W.H. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In L. de Alfaro and S. Gilmore, editors, Proceedings of the first joint PAPM-PROBMIV Workshop, Volume 2165 of Lecture Notes in Computer Science, pages 200-215, Aachen, Germany, September 2001. SpringerVerlag.
22. I. Clarke, O. Sandberg, B. Wiley, and T.W. Hong. Freenet: A distributed anonymous information storage and retrieval system. In H. Federrath, editor, Designing Privacy Enhancing Technologies: International Workshop on Design Issues in Anonymity and Unobservability, Volume 2009 of Lecture Notes in Computer Science, pages 46-66, Berkeley, California, 2001. Springer-Verlag.
23. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. This volume, 2002.
24. S. Gilmore, J. Hillston, and M. Ribaudo. PEPA-coloured stochastic Petri nets. In K. Djemame and M. Kara, editors, Proceedings of the Seventeenth UK Performance Engineering Workshop, pages 155-166, University of Leeds, July 2001.