|This graduate course covers fundamental topics in modeling
and analysis of computer systems. Though the emphasis is on
computer networks, the aquired skills and tools are applicable
for a wide variety of systems. It introduces general tools
for modeling such systems (automata, Petri-nets) as well as
methods for analyzing them (queueing systems).