نظرة عامة على لغة النمذجة والمواصفات والتقييم (MOSEL-2)

[1]- Bolch, G.; Greiner, S; Jung, H.; Zimmer, R: The Markov Analyzer MOSES,

[2]- Ciardo, G; Muppala, J.K.: Manual for the SPNP Package Version 3.1,Duke University Durham, North Carolina,1991

[3]- Herold, H.: lex und yacc, Addison- Wesley, Bonn 1995

[4]- Kirschnick, M: PEPSY-QNS, Technical Report (TR-14-18-94), IMMD IV, Erlangen-Nürnberg, 1994

[5]- Sahner, R A.; Trivedi, K S.: SHARPE: Symbolic Hierarchical Automated Reliability and Performance Evaluator, Duke University Durham, North Carolina, 1986

[6]- Trivedi, K S.; Ciardo, G.: A Decomposition Approach for Stochastic Reward Net

Models,Duke University Durham, North Carolina, 1991

[7]- [7] Technical Report (TR-14-10-94), IMMD IV, Erlangen-Nürnberg, 1994

[8]- Bj¨orn Beutel:Integration of the Petri Net Analysator TimeNET into the Model Analysis Environment MOSEL Diploma Thesis in Computer Science University of Erlangen-N¨urnberg

[9]- Practical Performance Modelling: Application of the MOSELKhalid Begain, Gunter Bolch, Helmut Herold,Laguage,Khuwer Academic Publisher.

[10]- Queueing Networks & Markov Chains,Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi,Jhon Wiley & Sons, Inc., Publication,Second edition,2006

[11]- http://www4.informatik.uni- erlangen.de/DE/Projects/MOSEL/Download

[12]- http://www.tcl.tk/software/tcltk/downloa d.html,1/1/2015

[13]- http://people.ee.duke.edu/~kst/software_

packages.html,/6/2013

[14]- https://www.tuilmenau.de/sse/timenet/in formation-for-users/download- area/,1/12/2014

[15]- http://www.oracle.com/technetwork/jav a/javase/downloads/index.html,/12/2014

[16]- http://sourceforge.net/projects/mingw/fi les/,/12/2014

[17]- Tien V. Do, Patrick W¨uchner, Tam´as B´erczes and J´anos Sztrik, Hermann De Meer, A New Finite-Source Queueing Model For Mobile Cellular Networks Applying Spectrum Renting, Asia-Pacific Journal of Operational Research,2013.