MQNA——马尔可夫排队网络分析器

11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003. Pub Date : 2003-10-27 DOI:10.1109/MASCOT.2003.1240657

L. Brenner, Paulo Fernandes, Afonso Sales

{"title":"MQNA——马尔可夫排队网络分析器","authors":"L. Brenner, Paulo Fernandes, Afonso Sales","doi":"10.1109/MASCOT.2003.1240657","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":344411,"journal":{"name":"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"MQNA - Markovian queueing networks analyser\",\"authors\":\"L. Brenner, Paulo Fernandes, Afonso Sales\",\"doi\":\"10.1109/MASCOT.2003.1240657\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":344411,\"journal\":{\"name\":\"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-10-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MASCOT.2003.1240657\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MASCOT.2003.1240657","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

本文介绍了MQNA -马尔可夫排队网络分析器，这是一种对一类大型排队网络进行建模和求解平稳解的软件工具。MQNA可以使用经典算法直接求解开闭产品型排队网络。对于有限容量排队模型，MQNA在随机自动机网络(SAN)和随机petri网(SPN)形式中生成马尔可夫描述。这些描述可以导出到PEPS -并行系统性能评估和SMART -随机模型可靠性检查分析仪和定时软件工具，分别可以解决SAN和SPN模型。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

MQNA - Markovian queueing networks analyser

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003.

自引率

0.00%

发文量