Title :
MQNA - Markovian queueing networks analyser
Author :
Brenner, Leonardo ; Fernandes, Paulo ; Sales, Afonso
Author_Institution :
PUCRS, Porto Alegre, Brazil
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.
Keywords :
Markov processes; Petri nets; performance evaluation; queueing theory; software tools; stochastic automata; stochastic systems; Markovian queueing networks analyser; SPN; classical algorithms; finite capacity queueing models; open-closed product-form queueing networks; parallel systems performance evaluation; stochastic automata networks; stochastic model checking analyzer; stochastic petri nets; timing software tools; Automata; Marketing and sales; Performance analysis; Petri nets; Queueing analysis; Software tools; Stochastic processes; Stochastic systems; Storage area networks; Timing;
Conference_Titel :
Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003. 11th IEEE/ACM International Symposium on
Print_ISBN :
0-7695-2039-1
DOI :
10.1109/MASCOT.2003.1240657
