PEPA nets

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

Volumn 2965, Issue , 2004, Pages 311-335

  Gilmore, Stephen ^a   Hillston, Jane ^a   Kloul, Leila ^a,b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b LABORATOIRE DES SCIENCES DU CLIMAT ET DE L ENVIRONNEMENT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

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

MOBILE CODES; MOBILE IP; MOBILE SERVERS; MODELLING CAPABILITIES; NETWORK HOSTS; PROGRAM CODE; STOCHASTIC PETRI NETS; STOCHASTIC PROCESS ALGEBRAS;

MODELING LANGUAGES;

EID: 35048884102     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24663-3_15     Document Type: Article

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. L. Brodo, S. Gilmore, J. Hillston, and C. Priami. A stochastic π-calculus semantics for PEPA nets. In Proc. of the Workshop on Process Algebras and Stochastically Timed Activities, pages 1-17. LFCS, University of Edinburgh, June 2002.
3. L. Cardelli and A.D. Gordon. Mobile ambients. In M. Nivat, editor, Foundations of Software Science and Computational Structures, volume 1378 of LNCS, pages 140-155. Springer Verlag, 1998.
4. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets and symmetric modeling applications. IEEE Transactions on Computers, 42:1343-1360, nov 1993.
5. G. Clark. Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, The University of Edinburgh, 2000.
6. 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 Proc. of 9th Int. Workshop on Petri Nets and Performance Models, pages 241-250, Aachen, Germany, September 2001.
7. 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.
8. A. Fuggetta, G.P. Picco, and G. Vigna. Understanding code mobility. IEEE Transactions on Software Engineering, 24(5):342-361, may 1998.
9. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proc. of 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in LNCS, pages 353-368, Vienna, May 1994. Springer-Verlag.
10. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Software performance modelling using PEPA nets, to appear in proc. of Int. Workshop on Software Performance, 2004.
11. 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.
12. S. Gilmore, J. Hillston, M. Ribaudo, and L. Kloul. PEPA nets: A structured performance modelling formalism. Performance Evaluation, 54(2):79-104, October 2003.
13. H. Hermanns, U. Herzog, V. Mertsiotakis, and M. Rettelbach. Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. In Proc. of 7th International Workshop on Petri Nets and Performance Models, Saint Malo, June 1997. IEEE CS Press.
14. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
15. R. Hopkins and P. King. A visual formalism for the composition of stochastic Petri nets. In T. Held et al., editor, Proc. of 12th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, volume 2324 of LNCS, pages 239-258. Springer, 2002.
16. D. Johnson, C. Perkins, and J. Arkko. Mobility support in IPv6. IETF Mobile IP Working Group Internet-Draft draft-ietf-mobileip-ipv6-20, January 2003.
17. M. Köhler, D. Moldt, and H. Rölke. Modelling mobility and mobile agents using nets within nets. In W.M.P. van der Aalst and E. Best, editors, Proc. of Int. Conf. on Applications and Theory of Petri Nets, volume 2679 of LNCS, pages 121-139. Springer-Verlag, June 2003.
18. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In T. Field et al., editor, Proc. of 12th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, volume 2324 of LNCS, London, 2002. Springer.
19. K. Larsen and A. Skou. Bisimulation through Probabilistic Testing. Information and Computation, 94(1):1-28, September 1991.
20. 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.
21. R. Milner. Communicating and Mobile Systems: the π-calculus. Cambridge University Press, 1999.
22. 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.
23. I. C. Rojas M. Compositional Construction and Analysis of Petri net Systems. PhD thesis, The University of Edinburgh, 1997.
24. R. Valk. Petri nets as token objects - an introduction to Elementary Object Nets. In J. Desel and M. Silva, editors, Proc. of 19th Int. Conf. on Application and Theory of Petri Nets, volume 1420 of LNCS, pages 1-25, Lisbon, Portugal, 1998. Springer-Verlag.