Formal Methods in Manufacturing [Book News]

This book presents a current, state-of-the-art solution to common problems in manufacturing systems, and all chapters are written by leading experts in their respective fields. The book consists of 23 chapters grouped into four parts as follows: modeling and simulation of manufacturing systems; supervisory control of manufacturing systems; performance evaluation of manufacturing systems and supply chains, and fault diagnosis of manufacturing sytems. In the 23 chapters, all problems are studied from different perspectives, using following formal models: Petri nets, finite-state automata, stochastic fluid models, and max-plus algebra. Also, many examples are given, allowing easy understanding of the topics and makingthe book more attractive for the readers.