3 hrs.Prerequisite(s): CSC 410. Examination of the major models that have been used to study operating systems and the computer systems which they manage. Petri nets, data flow diagrams, and other models of parallel behavior. Fundamentals of queuing theory.