In this book, Krishna Kant provides a completely up-to-date treatment of the fundamental techniques of computer system performance modeling and evaluation. He discusses measurement, simulation, and analysis, and places a strong emphasis on analysis by including such topics as basic and advanced queuing theory, product form networks, aggregation, decomposition, performance bounds, and various forms of approximations. Applications involving synchronization between various activities are presented in a chapter on Petri net-based performance modeling, and a final chapter covers a wide range of problems involving steady state analysis, transient analysis, and optimization.