MOSEL

MOSEL: Modeling, Specification and Evaluation Language. MOSEL is a new and powerful language for the performance and reliability modeling of computer, communication, and manufacturing systems. The modeling language is the central part of the MOSEL modeling environment. Once a system has been specified using MOSEL, the modeling environment executes the performance and reliability analysis of the model automatically. Results are collected either in a text file or can be displayed graphically with the utility IGL, which is part of the MOSEL modeling environment.


References in zbMATH (referenced in 27 articles , 1 standard article )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Nazarov, A.; Melikov, A.; Pavlova, E.; Aliyeva, S.; Ponomarenko, L.: Analyzing an (M|M| N) queueing system with feedback by the method of asymptotic analysis (2021)
  2. Fëdorova, Ekaterina Aleksandrovna; Nazarov, Anatoliĭ Andreevich; Farkhadov, Mais Pasha: Asymptotic analysis of the (MMPP|M|1) retrial queue with negative calls under the heavy load condition (2020)
  3. Kuki, Attila; Bérczes, Tamas; Sztrik, Janos; Kvach, A.: Numerical analysis of retrial queueing systems with conflict of customers and an unreliable server (2019)
  4. Danilyuk, E. Yu.; Fedorova, E. A.; Moiseeva, S. P.: Asymptotic analysis of an retrial queueing system (M|M|1) with collisions and impatient calls (2018)
  5. Kuki, Attila; Sztrik, János; Tóth, Ádám; Bérczes, Tamás: A contribution to modeling two-way communication with retrial queueing systems (2018)
  6. Nazarov, Anatoly; Sztrik, János; Kvach, Anna: A survey of recent results in finite-source retrial queues with collisions (2018)
  7. Vygovskaya, Olga; Danilyuk, Elena; Moiseeva, Svetlana: Retrial queueing system of (MMPP/M/2) type with impatient calls in the orbit (2018)
  8. Farkhadov, Mais; Fedorova, Ekaterina: Retrial queue (M/M/1) with negative calls under heavy load condition (2017)
  9. Bhargava, Charu; Jain, Madhu: Unreliable multiserver queueing system with modified vacation policy (2014)
  10. Arrar, Nawel K.; Djellab, Natalia V.; Baillon, Jean-Bernard: On the asymptotic behaviour of (M/G/1) retrial queues with batch arrivals and impatience phenomenon (2012)
  11. Gharbi, Nawel; Dutheillet, Claude: An algorithmic approach for analysis of finite-source retrial systems with unreliable servers (2011)
  12. Sztrik, J.; Efrosinin, D.: Tool supported reliability analysis of finite-source retrial queues (2010) ioport
  13. Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika: Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (2009)
  14. Gharbi, Nawel: On the applicability of stochastic Petri nets for analysis of multiserver retrial systems with different vacation policies (2008)
  15. Kim, Chesoong; Klimenok, Valentina I.; Orlovsky, Dmitry S.: The BMAP/PH/N retrial queue with Markovian flow of breakdowns (2008)
  16. Haque, Lani; Armstrong, Michael J.: A survey of the machine interference problem (2007)
  17. Zreikat, Aymen: Numerical solution of one GSM cell using MOSEL-2 language. (2007) ioport
  18. Bolch, Gunter; Greiner, Stefan; de Meer, Hermann; Trivedi, Kishor S.: Queueing networks and Markov chains. Modeling and performance evaluation with computer science applications. (2006)
  19. Sztrik, J.; Almasi, B.; Roszik, J.: Heterogeneous finite-source retrial queues with server subject to breakdowns and repairs (2006)
  20. Almási, B.; Roszik, J.; Sztrik, J.: Homogeneous finite-source retrial queues with server subject to breakdowns and repairs (2005)

1 2 next


Further publications can be found at: https://www4.cs.fau.de/Projects/MOSEL/Pub/