PEPA nets: A structured performance modelling formalism

Performance Evaluation

Volumn 54, Issue 2, 2003, Pages 79-104

  Gilmore, Stephen ^a   Hillston, Jane ^a   Kloul, Leïla ^a,c   Ribaudo, Marina ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF GENOA   (Italy)

^c UNIVERSITY OF VERSAILLES   (France)

Author keywords

Cellular network; PEPA; Stochastic process algebra

Indexed keywords

ALGEBRA; HIERARCHICAL SYSTEMS; PERFORMANCE; RANDOM PROCESSES; TELECOMMUNICATION;

HIERARCHICAL CELLULAR NETWORKS;

PETRI NETS;

EID: 0042829471     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(03)00069-5     Document Type: Conference Paper

References (31)

1. M. Ajmone Marsan, A. Bobbio, S. Donatelli, Petri nets in performance analysis: an introduction, in: W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, vol. 1491, Springer, Berlin, 1998, pp. 211-256.
2. F. Bause, Queueing Petri nets - a formalism for the combined qualitative and quantitative analysis of systems, in: Proceedings of the Fifth International Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993, pp. 14-23.
3. M. Becker, H. Szczerbicka, PNiQ: Integration of queuing networks in generalized stochastic Petri nets, IEE Proceedings - Software, vol. 146, No. 1, pp. 27-33, February 1999, Special Issue of the Proceedings of the Fourteenth UK Performance Engineering Workshop.
4. Bernardo M., Gorrieri R., A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoret. Comput. Sci. 202:1998;1-54.
5. L. Brodo, S. Gilmore, J. Hillston, C. Priami, A stochastic π-calculus semantics for PEPA nets, in: Proceedings of the Workshop on Process Algebras and Stochastically Timed Activities, LFCS, The University of Edinburgh, June 2002, pp. 1-17.
6. Buchholz P., Hierarchical Markov models - symmetries and aggregation. Perform. Eval. 22:1995;93-110.
7. Buchholz P., Multi-level solutions for structured Markov chains. SIAM J. Matrix Anal. Appl. 22(2):2000;342-357.
8. L. Cardelli, A.D. Gordon, Mobile ambients, in: M. Nivat (Ed.), Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 1378, Springer, Berlin, 1998, pp. 140-155.
9. G. Clark, Techniques for the construction and analysis of algebraic performance models, Ph.D. Thesis, The University of Edinburgh, 2000.
10. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J.M. Doyle, W.H. Sanders, P. Webster, The Möbius modeling tool, in: Proceedings of the Ninth International Workshop on Petri Nets and Performance Models, Aachen, Germany, September 2001, pp. 241-250.
11. S. Donatelli, J. Hillston, M. Ribaudo, A comparison of performance evaluation process algebra and generalized stochastic Petri Nets, in: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, Durham, NC, 1995.
12. Fourneau J.-M., Kloul L., Valois F., Performance modelling of hierarchical networks using PEPA. Perform. Eval. 50:2002;83-99.
13. S. Gilmore, 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, Vienna, May 1994, Lecture Notes in Computer Science, vol. 794, Springer, Berlin, 1994, pp. 353-368.
14. S. Gilmore, J. Hillston, 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.
15. Gilmore S., Hillston J., Ribaudo M., An efficient algorithm for aggregating PEPA models. IEEE Trans. Softw. Eng. 27(5):2001;449-464.
16. S. Gilmore, J. Hillston, M. Ribaudo, PEPA-coloured stochastic Petri nets, in: K. Djemame, M. Kara (Eds.), Proceedings of the 17th UK Performance Engineering Workshop, University of Leeds, July 2001, pp. 155-166.
17. B.R. Haverkort, I.G. Niemegeers, P. Veldhuyzen van Zanten, DyQNtool - a performability modelling tool based on the dynamic queueing network concept, in: G. Balbo, G. Serazzi (Eds.), Modelling Techniques and Tools for Computer Performance Evaluation, North-Holland, Amsterdam, 1992, pp. 181-195.
18. H. Hermanns, Interactive Markov Chains and the Quest for Quantified Quality, Lecture Notes in Computer Science, vol. 2428, Springer, Berlin, 2002.
19. H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach, Exploiting stochastic process algebra achievements for generalized stochastic Petri nets, in: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, IEEE CS Press, Saint Malo, June 1997.
20. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, Cambridge, 1996.
21. R. Hopkins, P. King, A visual formalism for the composition of stochastic Petri nets, in: T. Field, P.G. Harrison, J. Bradley, U. Harder (Eds.), Proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science, vol. 2324, Springer, London, 2002, pp. 239-258.
22. Katzela I., Naghshineh M., Channel assignment schemes for cellular mobile telecommunication systems: a comprehensive survey. Proc. IEEE. 82(9):1994;1398-1430.
23. Kulavaratharasah M.D., Aghvami A.H., Teletraffic performance evaluation of microcellular personal communication networks PCN's with prioritized handoff procedures. IEEE Trans. Vehicular Technol. 48(1):1999;137-152.
24. M. Kwiatkowska, G. Norman, D. Parker, PRISM: probabilistic symbolic model checker, in: T. Field, P.G. Harrison, J. Bradley, U. Harder (Eds.), Proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science, vol. 2324, Springer, London, 2002.
25. Larsen K., Skou A., Bisimulation through probabilistic testing. Inform. Comput. 94(1):1991;1-28.
26. K.G. Larsen, Compositional theories based on an operational semantics of contexts, in: Proceedings of the REX Workshop on Stepwise Refinement of Parallel Systems, Lecture Notes in Computer Science, vol. 430, Springer, Berlin, May 1989, pp. 487-518.
27. R. Milner, Communicating and Mobile Systems: The π-calculus, Cambridge University Press, Cambridge, 1999.
28. R. Milner, M. Tofte, R. Harper, D. MacQueen, The Definition of Standard ML: Revised 1996, MIT Press, Cambridge, MA, 1996.
29. C. Reinke, Haskell-coloured Petri Nets, in: Proceedings of the 11th International Workshop on Implementation of Functional Languages, Lochem, The Netherlands, September 1999, Lecture Notes in Computer Science, vol. 1868, Springer, Berlin, 1999, pp. 165-180.
30. I.C. Rojas, Compositional construction and analysis of Petri net systems, Ph.D. Thesis, The University of Edinburgh, 1997.
31. R. Valk, Petri nets as token objects - an introduction to elementary object nets, in: J. Desel, M. Silva (Eds.), Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 1420, Lisbon, Portugal, Springer, Berlin, 1998, pp. 1-25.