This book begins with the mathematical basics required for the study of Discrete-event dynamic systems (DEDs) and moves on to present various tools used in their modeling and control Among the instruments explained are many forms of Petri net, the sequential function chart, state charts, formal languages and max-plus algebra. Realistic industrial examples of varying complexity illustrate the concepts and methods under discussion. This book will help readers to understand DEDs quickly and to master the control methods to analyze and improve the performance of their systems. Final-year undergraduates and graduates embarking on further courses in control, manufacturing and process engineering, computer studies or operations research will find this text an invaluable aid in learning about the control of this important class of systems.