Presents a unified and systematic treatment of various modelling methodologies and analysis techniques for performance evaluation of automated manufacturing systems. Beginning with an overview of automated manufacturing systems, the coverage continues with a discussion of three principal analytical modelling paradigms - Markov chains, queues and queueing networks, and petri nets. Recent and current research advances in performance analysis of automated manufacturing systems are also included. This book should be of use to research and practising engineers involved in the planning, design, operation and control of discrete manufacturing systems.