The Möbius modeling tool

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 241-250

  Clark, Graham ^a   Courtney, Tod ^a   Daly, David ^a   Deavours, Dan ^a   Derisavi, Salem ^a   Doyle, Jay M ^a   Sanders, William H ^a   Webster, Patrick ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT FUNCTIONAL INTERFACES; IMPLEMENTATION SUPPORT; MOBIUS MODELING TOOL; MODEL SOLUTION; MODELING FORMALISMS; MODELLING TOOLS; MONOLITHIC APPROACH; SOLUTION METHODS;

EID: 84957801459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953373     Document Type: Conference Paper

References (20)

1. W. H. Sanders, “Integrated frameworks for multi-level and multi-formalism modeling,” in Proceedings of PNPM’99: 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 1999, pp. 2-9.
2. R. A. Sahner and K. S. Trivedi, “Reliability modeling using SHARPE,” IEEE Transactions on Reliability, vol. R-36, no. 2, pp. 186-193, June 1987.
3. G. Ciardo and A. S. Miner, “SMART: Simulation and markovian analyzer for reliability and timing,” in Proceedings of IEEE International Computer Performance and Dependability Symposium (IPDS’96), September 1996, p. 60.
4. F. Bause, P. Buchholz, and P. Kemper, “QPN-Tool for the specification and analysis of hierarchically combined queueing Petri nets,” Lecture Notes in Computer Science, vol. 977, pp. 224-238, 1995.
5. J. M. Doyle, “Abstract model specification using the Mobius modeling tool,” M.S. thesis, University of Illinois at Urbana-Champaign, Jan. 2000.
6. 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.
7. J. F. Meyer, A. Movaghar, and W. H. Sanders, “Stochastic activity networks: structure, behavior and applications,” PTOC. International Workshop on Timed Petri Nets, pp. 106-115, 1985.
8. B. Plateau and K. Atif, “A methodology for solving Markov models of parallel systems,” IEEE Journal on Software Engineering,vol. 17, no. 10,pp. 1093-1108, 1991.
9. D. Deavours and W. H. Sanders, “Mobius: Framework and atomic models,” in PNPM’OZ: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
10. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, “The effect of execution policies on the semantics and analysis of stochastic Petri nets,” IEEE Transactions on Software Engineering, vol. 15, no. 7, pp. 832-846, July 1989.
11. D. Deavours and W. H. Sanders. “The Mobius execution policy,” in PNPM’01: 10th International Workshop on Petri Nets and Performance Models, Aachen, Germany (to appear), September 2001.
12. J. Hillston, A Compositional Approach to Performance Modelling, Cambridge University Press, 1996.
13. D. R. W. Holton, “A PEPA specification of an industrial production cell,” The Computer Journal, vol. 38, no. 7, pp. 542-551, 1995.
14. G. Clark and W. H. Sanders, “Implementing a stochastic process algebra within the Mobius modeling framework,” in PAPM’OI: 9th International Workshop on Process Algebra and Performance Models, Aachen, Germany (to appear), September 2001.
15. 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.
16. W. D. Obal II, Measure-Adaptive State-Space Construction Methods, Ph.D. thesis, The University of Arizona, 1998.
17. A. J. Stillman, “Model composition within the mobius modeling framework,” M.S. thesis, University of Illinois at Urbana-Champaign, 1999.
18. W. H. Sanders and J. F. Meyer, “A unified approach for specifying measures of performance, dependability, and performability,” in Dependable Computing for Critical Applications, A. Avizienis, J . Kopetz, and J. Laprie, Eds. 1991, vol. 4 of Dependable Computing and Fault-Tolerant Systems, pp. 215-237, Springer-Verlag.
19. D. Montgomery, Design and Analysis of Experiments, John Wiley & Sons, Inc., 5th edition, 2001.
20. W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, 1994.