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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||