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.