|
Published Articles >> Table of Contents >> Abstract
11th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'03)
p. 194
MQNA - Markovian Queueing Networks Analyser
Leonardo Brenner, PUCRS, Av. Ipiranga
Paulo Fernandes, PUCRS, Av. Ipiranga
Afonso Sales, PUCRS, Av. Ipiranga
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MASCOT.2003.1240657
Send link to a friend
| 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.
|
 Additional Information
|
Citation:
Leonardo Brenner, Paulo Fernandes, Afonso Sales,
"MQNA - Markovian Queueing Networks Analyser,"
mascots,
p. 194,
11th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'03),
2003
|
|
