Prerequisite: STAT 319 or Equivalent
Performance measures. Modeling methodologies: queuing models, graph models,dataflow models, and Petrinet models. Mathematical models of computer systems: CPUand computer subsystems such as memory and disks. Bottleneck analysis. Modelingmulti-server systems. Model validation methods. Case studies. Project(s).