The performance and reliability modelling language Mosel and its application

International Journal of Simulation: Systems, Science and Technology

Volumn 3, Issue 3-4, 2002, Pages 66-80

  Al Begain, K ^a   Barner, J ^b   Bolch, G ^b   Zreikat, A I ^a  

^a UNIVERSITY OF BRADFORD   (United Kingdom)

^b UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Finite capacity queueing networks; GSPNs; IGL; Mobile networks; Modelling; MOSEL; Multiprocessor system; Performance; Reliability; Retrial systems; System description language

Indexed keywords

3G MOBILE COMMUNICATION SYSTEMS; COMPLEX NETWORKS; COMPUTATIONAL LINGUISTICS; CONTINUOUS TIME SYSTEMS; HIGH LEVEL LANGUAGES; MANUFACTURE; MARKOV PROCESSES; MOBILE TELECOMMUNICATION SYSTEMS; MODELS; MULTIPROCESSING SYSTEMS; NUMERICAL METHODS; QUEUEING NETWORKS; QUEUEING THEORY; RANDOM PROCESSES; RELIABILITY; SPECIFICATION LANGUAGES; SPECIFICATIONS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; WIRELESS NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

FINITE CAPACITY; GSPNS; IGL; MOSEL; MULTI PROCESSOR SYSTEMS; PERFORMANCE; RETRIAL SYSTEM; SYSTEM DESCRIPTION;

MODELING LANGUAGES;

EID: 84925130291     PISSN: 14738031     EISSN: 1473804X     Source Type: Journal    
DOI: None     Document Type: Article

References (26)

1. [1] M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 84(2):93–122, May 1984.
2. [2] I.F. Akyildiz. Exact product form solution for queueing networks with blocking. IEEE Transactions on Software Engineering, 36(1):122–125, 1987.
3. [3] B. Almasi, G. Bolch, and D. Tutsch. Stochastic modeling of multistage interconnection networks with MOSEL. In Proc. 22th Int. Sem. on Stability Problems for Stochastic Models, May 2002.
4. [4] J. Barceló, L. Escudero, and J. Artelejo, editors. 1st International Workshop on Retrial Queues, Special issue of Trabajos de Investigación Operativa (TOP), 7(2), Madrid, Spain, December 1999. Sociedad de Estadística e Investigación Operativa.
5. [5] K. Begain, G. Bolch, and H. Herold. Practical Performance Modeling–Application of the MOSEL language. Kluwer Academic Publishers, 2001.
6. [6] K. Begain, G. Bolch, and M. Telek. Scalable schemes for call admission and handover in cellular networks with multiple services. Wireless Personal Communications, 15:125–144, 2000.
7. [7] K. Begain and A.I. Zreikat. Interference based CAC for uplink traffic in UMTS networks. In Proc.World Wireless Congress, pages 298–303, June 2002.
8. [8] B. Beutel. Integration of the Petri Net tool TimeNET into the MOSEL modelling environment. Master’s thesis, Department of Computer Science, University of Erlangen, 2003.
9. [9] A. Bobbio, A. Puliafito, M. Scarpa, and M. Telek. WebSPN: Non-Markovian Stochastic Petri Net tool. In Int. Conf on WEB-based Modeling and Simulation, January 1998.
10. [10] G. Bolch, S. Greiner, H. de Meer, and K. Trivedi. Queueing Networks and Markov Chains. John Wiley & Sons, New York, 1998.
11. [11] G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, 24(1,2):137–159, November 1995.
12. [12] G. Falin and J. Templeton. Retrial Queues. Chapman & Hall, 1997.
13. [13] N. Götz, U. Herzog, and M. Rettelbach. TIPP–Introduction and application to protocol performance analysis. In H. König, editor, Formale Beschreibungstechniken für verteilte Systeme. Saur, 1993.
14. [14] H. Hermanns, U. Herzog, and J.-P. Katoen. Process algebra for performance evaluation. Theoretical Computer Science, 24(1-2):43–87, November 2000.
15. [15] J. Hillston. PEPA: Performance Enhanced Process Algebra. Technical Report CSR-24-93, University of Edinburgh, March 1993.
16. [16] W.C. Jakes, editor. Microwave Mobile Communications. Wiley-IEEE Press, 1994.
17. [17] A. Jerraya. Modellierung und Leistungsbewertung von Halbleiterfertigungssystemen mithilfe der Modellbeschreibungssprache MOSEL, 1999. Pre-Master’s thesis, Department of Computer Science, University of Erlangen, in German.
18. [18] M. Kirschnick. The Performance Evaluation and Prediction System for Queueing Networks (PEPSYQNS). Technical Report TR-I4-18-94, University of Erlangen, September 1994.
19. [19] J. Mehdi. Stochastic Models in Queueing Theory. Academic Press, 2 edition, 2003.
20. [20] H.G. Perros. Queueing Networks with Blocking. Oxford University Press, 1994.
21. [21] R. Sahner, K. Trivedi, and A. Puliafito. Performance and reliability Analysis of Computer Systems. An example-based approach using the SHARPE software Package. Kluwer Academic Publishers, 1996.
22. [22] J. Schüler, K. Begain, M. Ermel, T. Müller, and M. Schweigel. Performance analysis of a single UMTS cell. In Proc. Europ. Wireless Conference, page 6, 2000.
23. [23] D. Siewiorek. Multiprocessors: Reliability modelling and graceful degradation. In Infotech State of the Art Conference on System Reliability, pages 48–73, London, 1978. Infotech International.
24. [24] K. Trivedi. SPNP user’s manual. version 6.0. Technical report, Center for Advanced Computing and Communication, Department of Electical and Computer Engineering, Duke University, Durham, NC, September 1999.
25. [25] M. Veran and D. Potier. QNAP 2: A portable environment for queueing system modelling. In D. Potier, editor, Proc. Int. Conf. on Modelling Techniques and Tools for Performance Analysis, pages 25–32, 1985.
26. [26] A. Zimmermann, J. Freiheit, R. German, and G. Hommel. Petri Net modelling and performability evaluation with TimeNET 3.0. In Proc. 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS’2000), volume 1786 of LNCS, pages 188–202. Springer, 2000.