Implementing a stochastic process algebra within the möbius modeling framework

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

Volumn 2165, Issue , 2001, Pages 200-215

  Clark, Graham ^a   Sanders, William H ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; INTERFACE STATES; RANDOM PROCESSES; STOCHASTIC MODELS;

ABSTRACT FUNCTIONAL INTERFACES; DEPENDABILITY MODELING; DEPENDABILITY MODELS; MODEL FRAMEWORK; MULTI FORMALISM; SOLUTION METHODS; STOCHASTIC PROCESS ALGEBRAS;

STOCHASTIC SYSTEMS;

EID: 84957812126     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44804-7_13     Document Type: Conference Paper

References (20)

1. J. M. Doyle, “Abstract model specification using the Möbius modeling tool,” M.S. thesis, University of Illinois at Urbana-Champaign, 2000.
2. 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 PNPM’01: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
3. J. F. Meyer, A. Movaghar, and W. H. Sanders, “Stochastic activity networks: Structure, behavior and applications,” Proc. International Workshop on Timed Petri Nets, pp. 106–115, 1985.
4. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.
5. W. H. Sanders, “Integrated frameworks for multi-level and multi-formalism modeling,” in Proc. PNPM’99: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 2–9.
6. D. Deavours and W. H. Sanders, “Möbius: Framework and atomic models,” in Proc. PNPM’01: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
7. W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko, “The ultrasan modeling environment,” Performance Evaluation, vol. 24, no. 1, pp. 89–115, October-November 1995.
8. W. H. Sanders and J. F. Meyer, “Reduced base model construction methods for stochastic activity networks,” IEEE Journal on Selected Areas in Communications, vol. 9, no. 1, pp. 25–36, Jan. 1991.
9. D. Montgomery, Design and Analysis of Experiments, John Wiley & Sons, Inc., 5th edition, 2001.
10. R. Milner, Communication and Concurrency, International Series in Computer Science. Prentice Hall, 2nd edition, 1989.
11. T. Bolognesi and E. Brinksma, “Introduction to the ISO specification language LOTOS,” Computer Networks and ISDN Systems, vol. 14, pp. 25–59, 1987.
12. H. Hermanns and M. Rettelbach, “Toward a superset of basic LOTOS for performance prediction,” Proc. of 4th Workshop on Process Algebras for Performance Modelling (PAPM), pp. 77–94, 1996.
13. M. Bernardo, Theory and Application of Extended Markovian Process Algebra, Ph.D. thesis, University of Bologna, Italy, 1999.
14. S. Gilmore, J. Hillston, and M. Ribaudo, “An efficient algorithm for aggregating PEPA models,” IEEE Transactions on Software Engineering, 2001.
15. J. Hillston, “The nature of synchronisation,” Proc. of 2nd Workshop on Process Algebras for Performance Modelling (PAPM), pp. 51–70, 1994.
16. S. Donatelli, “Superposed generalized stochastic Petri nets: Definition and efficient solution,” in Application and Theory of Petri Nets 1994, Lecture Notes in Computer Science 815 (Proc. 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain), R. Valette, Ed., pp. 258–277. Springer-Verlag, June 1994.
17. I. Rojas, Compositional Construction of SWN Models, Ph.D. thesis, The University of Edinburgh, 1997.
18. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra, Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 2000.
19. W. D. Obal, Measure-Adaptive State-Space Construction Methods, Ph.D. thesis, The University of Arizona, 1998.
20. W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, 1994.