References

  1. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson & Wang Yi (1996): UPPAAL - a tool suite for automatic verification of real-time systems. In: Rajeev Alur, Thomas Henzinger & Eduardo Sontag: Hybrid Systems III, Lecture Notes in Computer Science 1066. Springer Berlin / Heidelberg, pp. 232–243. Available at http://dx.doi.org/10.1007/BFb0020949. 10.1007/BFb0020949.
  2. B. Berthomieu *, P.-O. Ribet & F. Vernadat (2004): The tool TINA - Construction of abstract state spaces for petri nets and time petri nets. International Journal of Production Research 42(14), pp. 2741–2756, doi:10.1080/00207540412331312688.
  3. S. Gilmore & J. Hillston (1994): 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, Lecture Notes in Computer Science 794. Springer-Verlag, Vienna, pp. 353–368, doi:10.1007/3-540-58021-2_20.
  4. Jane Hillston (1996): A Compositional Approach to Performance Modelling. Cambridge University Press, doi:10.1017/CBO9780511569951.
  5. F. L. Pelayo (2004): Application of formal methods to performance evaluation. Universidad de Castilla - La Mancha.
  6. Fernando L. Pelayo, Fernando Cuartero & Diego Cazorla (2011): Looking for a cheaper ROSA. In: Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II, IWANN'11. Springer-Verlag, Berlin, Heidelberg, pp. 380–387. Available at http://dl.acm.org/citation.cfm?id=2023332.2023387.
  7. Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Diaz & Elena Nieto (2007): Does ROSA provide a good view of the Memorizing Process?. In: Proceedings of the 6th IEEE International Conference on Cognitive Informatics, COGINF '07. IEEE Computer Society, Washington, DC, USA, pp. 273–283, doi:10.1109/COGINF.2007.4341900.
  8. A. Stefanek, R.A. Hayden & J.T. Bradley (2011): GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. In: Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on, pp. 147–148, doi:10.1109/QEST.2011.26.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org