|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
11th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'03)
MQNA - Markovian Queueing Networks Analyser
Orlando, Florida
October 12-October 15
ISBN: 0-7695-2039-1
| ASCII Text | x | ||
| Leonardo Brenner, Paulo Fernandes, Afonso Sales, "MQNA - Markovian Queueing Networks Analyser," 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp. 194, 11th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'03), 2003. | |||
| BibTex | x | ||
| @article{ 10.1109/MASCOT.2003.1240657, author = {Leonardo Brenner and Paulo Fernandes and Afonso Sales}, title = {MQNA - Markovian Queueing Networks Analyser}, journal ={2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems}, volume = {0}, year = {2003}, issn = {1526-7539}, pages = {194}, doi = {http://doi.ieeecomputersociety.org/10.1109/MASCOT.2003.1240657}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems TI - MQNA - Markovian Queueing Networks Analyser SN - 1526-7539 SP EP A1 - Leonardo Brenner, A1 - Paulo Fernandes, A1 - Afonso Sales, PY - 2003 KW - null VL - 0 JA - 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems ER - | |||
This paper describes the MQNA - Markovian Queueing Networks Analyser, a software tool to model and obtain the stationary solution of a large class of Queueing Networks. MQNA can directly solve open and closed product-form queueing networks using classical algorithms. For finite capacity queueing models, MQNA generates Markovian description in the Stochastic Automata Networks (SAN) and Stochastic Petri Nets (SPN) formalisms. Such descriptions can be exported to the PEPS - Performance Evaluation of Parallel Systems and SMART - Stochastic Model checking Analyzer for Reliability and Timing software tools that can solve SAN and SPN models respectively.
Citation:
Leonardo Brenner, Paulo Fernandes, Afonso Sales, "MQNA - Markovian Queueing Networks Analyser," mascots, pp.194, 11th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.