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 26 articles , 1 standard article )

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

1 2 next

  1. 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)
  2. Kuki, Attila; Bérczes, Tamas; Sztrik, Janos; Kvach, A.: Numerical analysis of retrial queueing systems with conflict of customers and an unreliable server (2019)
  3. 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)
  4. 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)
  5. Nazarov, Anatoly; Sztrik, János; Kvach, Anna: A survey of recent results in finite-source retrial queues with collisions (2018)
  6. Vygovskaya, Olga; Danilyuk, Elena; Moiseeva, Svetlana: Retrial queueing system of (MMPP/M/2) type with impatient calls in the orbit (2018)
  7. Farkhadov, Mais; Fedorova, Ekaterina: Retrial queue (M/M/1) with negative calls under heavy load condition (2017)
  8. Bhargava, Charu; Jain, Madhu: Unreliable multiserver queueing system with modified vacation policy (2014)
  9. 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)
  10. Gharbi, Nawel; Dutheillet, Claude: An algorithmic approach for analysis of finite-source retrial systems with unreliable servers (2011)
  11. Sztrik, J.; Efrosinin, D.: Tool supported reliability analysis of finite-source retrial queues (2010) ioport
  12. Gharbi, Nawel; Dutheillet, Claude; Ioualalen, Malika: Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems (2009)
  13. Gharbi, Nawel: On the applicability of stochastic Petri nets for analysis of multiserver retrial systems with different vacation policies (2008)
  14. Kim, Chesoong; Klimenok, Valentina I.; Orlovsky, Dmitry S.: The BMAP/PH/N retrial queue with Markovian flow of breakdowns (2008)
  15. Haque, Lani; Armstrong, Michael J.: A survey of the machine interference problem (2007)
  16. Zreikat, Aymen: Numerical solution of one GSM cell using MOSEL-2 language. (2007) ioport
  17. Bolch, Gunter; Greiner, Stefan; de Meer, Hermann; Trivedi, Kishor S.: Queueing networks and Markov chains. Modeling and performance evaluation with computer science applications. (2006)
  18. Sztrik, J.; Almasi, B.; Roszik, J.: Heterogeneous finite-source retrial queues with server subject to breakdowns and repairs (2006)
  19. Almási, B.; Roszik, J.; Sztrik, J.: Homogeneous finite-source retrial queues with server subject to breakdowns and repairs (2005)
  20. Almási, B.; Bolch, G.; Sztrik, J.: Heterogeneous finite-source retrial queues (2004)

1 2 next


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