Models of closed networks with interlocks for analysis of multiprogrammed computing systems

The paper is concerned with models of closed service systems with interlocks which give adequate descriptions of the functioning of multiprogrammed computers. Accurate and approximate methods for computation of such systems and numerical results are given.