Uses a theoretical and practical approach to evaluate the performance of a system when a product form can be concluded--for instance, to compare the system under diverse workloads or parameter values or to determine by which system protocols a product form expression is violated so that further numerical or approximate computations can be developed. Contains numerous examples drawn from applications.