Product form solution for a class of PEPA models

Performance Evaluation

Volumn 35, Issue 3, 1999, Pages 171-192

  Hillston, Jane ^a   Thomas, Nigel ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BENCHMARKING; MARKOV PROCESSES; MATHEMATICAL MODELS; PETRI NETS;

MARKOVIAN PROCESS ALGEBRA; PRODUCT FORM SOLUTIONS;

PRODUCT DESIGN;

EID: 0032685936     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(99)00005-X     Document Type: Article

References (25)

1. M. Bernardo, R. Gorrieri, A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time, Theoret. Comput. Sci. 202(1-2) (1998) 1-54.
2. M. Bhabuta, PG. Harrison, K. Kanani, Detecting reversibility in Markovian process algebra, in: M. Merabti, M. Carew, F. Ball (Eds.), Performance Engineering of Computer and Telecommunications Systems, Springer, Berlin, 1995.
3. R. Boucherie, A characterisation of independence for competing Markov chains with applications to stochastic Petri nets, IEEE Trans. Software Engrg. 20(7) (1994) 536-544.
4. P. Buchholz, Hierarchical Markovian models - Symmetries and reduction, in: R. Pooley, J. Hillston (Eds.), Computer Performance Evaluation: Modelling Techniques and Tools, Edinburgh University Press, Edinburg, 1993, pp. 305-319.
5. G. Clark, S. Gilmore, J. Hillston, N. Thomas, Experience with the PEPA performance modelling tools, in: R. Pooley, N. Thomas (Eds.), Proceedings of the 14th UK Performance Engineering Workshop, Edinburgh, July 1998.
6. S. Coury, P. Harrison, On the asymptotic behaviour of closed multiclass queueing networks, in: R. Zobel, D. Moeller (Eds.), Proceedings of the 12th European Simulation Multiconference, Manchester, June 1998.
7. S. Donatelli, Superposed generalised stochastic Petri nets: Definition and efficient solution, in: M. Silva (Ed.), Proceedings of the 15th International Conference on Application and Theory of Petri Nets, 1994.
8. S. Gilmore, J. Hillston, The PEPA workbench: A tool to support aprocess algebra-based approach to performance modelling, in: G. Haring, G. Kotsis (Eds.), Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science, vol. 794, Springer, Berlin, 1994, pp. 353-368.
9. S. Gilmore, J. Hillston, R. Holton, M. Rettelbach, Specifications in stochastic process algebra for a robot control problem, Int. J. Production Res. 34(4) (1996) 1065-1080.
10. N. Götz, U. Herzog, M. Rettelbach, TIPP - a language for timed processes and performance evaluation, in: J. Hillston, F. Moller (Eds.), Proceedings of the First Workshop on Process Algebra and Performance Modelling, University of Edinburgh, May 1993.
11. P. Harrison, J. Hillston, Exploiting quasi-reversible structures to find product form solutions in Markovian process algebra models, The Comput. J. 38(7) (1995) 510-520.
12. W. Henderson, P.G. Taylor, Embedded processes in stochastic Petri nets, IEEE Trans. Software Engrg. 17(2) (1991) 108-116.
13. J. Hillston, The nature of synchronisation, in: U. Herzog, M. Rettelbach (Eds.), Proceedings of the Second Workshop on Process Algebra and Performance Modelling, Regensburg, Germany, July 1994.
14. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, Cambridge, 1996.
15. J. Hillston, Compositional Markovian modelling using a process algebra, in: W. Stewart (Ed.), Computations With Markov Chains, Kluwer, Dordrecht, 1995.
16. J. Hillston, A class of PEPA models exhibiting product form solution over submodels, Technical Report LFCS-98-382, Department of Computer Science, University of Edinburgh, 1998.
17. J. Hillston, Exploiting structure in solution: Decomposing composed models, in: Proceedings of the Sixth International Workshop on Process Algebra and Performance Modelling, Nice, France, September 1998.
18. J. Hillston, N. Thomas, A syntactic analysis of reversible PEPA processes, in: Proceedings of the Sixth International Workshop on Process Algebra and Performance Modelling, Nice, France, September 1998.
19. D.R.W. Holton, A PEPA specification of an industrial production cell, The Comput. J. 38(7) (1995) 542-551.
20. A. Lazar, T. Robertazzi, Markovian Petri net protocols with product form solution, Performance Evaluation 12(1) (1991) 67-77.
21. V. Mertsiotakis, Approximate analysis methods for stochastic process algebras, Ph.D. Thesis, Universität Erlangen-Nürnberg, Martensstraße 3, 91058 Erlangen, September 1998.
22. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
23. M. Ribaudo, On the aggregation techniques in stochastic Petri nets and stochastic process algebras, The Comput. J. 38(7) (1995)600-611.
24. W. Sanders, J. Meyer, Reduced base model construction methods for stochastic activity networks, IEEE J. Selected Areas in Commun. 9(1) (1991) 25-36.
25. M. Sereno, Towards a product form solution for stochastic process algebras, The Comput. J. 38(7) (1995) 622-632.