01833nam a2200277 a 450000100080000000500110000800800410001910000260006024501010008626001760018730000160036350000840037952007960046365300310125965300580129065300220134865300370137065300180140765300140142565300130143965300220145265300190147470000210149370000160151470000250153010022622020-01-21       1995    bl uuuu     u00u1 u    #d1 aOLIVEIRA, S. R. de M.  aConception and development of a tool to model and solve markovian models.h[electronic resource]  aIn: INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, 15., 1995, Arica, Chile. Proceedings... Santiago: Sociedad Chilena de Ciencia de la Computacionc1995  ap. 351-360.  aEditado por Nivio Ziviani, Jose Piquer, Berthier Ribeiro e Ricardo Baeza-Yates.  aThe relevance of the use of markovian models in performance evaluation of systems, together with the need of efficient tools of specification and solution of models, are the aim of new generation of concurrent systems, where the emphasis is concentrated in the development of sophisticated tools to modeling. These tools must make transparent to their users the mathematical definition of the modeled system and the details about the solution techniques. This paper presents ALLOS, a friendly tool to specify and solve models for networks of queues by using Markov chains. The use of this tool is adequate for solving system models which exhibit resource contention, such as computer systems and computer networks, and other systems which can be modeled using the network of queues paradigm.  aAutomatic state generation  aAvaliação de desempenho de sistemas de computação  aCadeias de Markov  aGeração automática de estados  aMarkov chains  aModelagem  aModeling  aNetwork of queues  aRedes de filas1 aCABRAL, M. I. C.1 aFERNEDA, E.1 aBRASILEIRO, M. A. G.