Performance measures. Modeling methodologies: queuing models, graph models,
dataflow models, and Petrinet models. Mathematical models of computer systems: CPU
and computer subsystems such as memory and disks. Bottleneck analysis. Modeling
multi-server systems. Model validation methods. Case studies. Project(s).​