This volume gives an introduction to the discrete-event system theory and simultaneously applies the theory to practical problems. It gives students of computer sciences, system sciences and electrical engineering an account of discrete-event systems.