PROJECT TITLE :

Formal Methods in Manufacturing [Book News]

ABSTRACT:

This book presents a current, state-of-the-art solution to common issues in manufacturing systems, and every one chapters are written by leading specialists in their respective fields. The book consists of 23 chapters grouped into four parts as follows: modeling and simulation of producing systems; supervisory management of manufacturing systems; performance evaluation of manufacturing systems and offer chains, and fault diagnosis of producing sytems. In the 23 chapters, all problems are studied from completely different views, using following formal models: Petri nets, finite-state automata, stochastic fluid models, and max-plus algebra. Additionally, several examples are given, permitting simple understanding of the topics and makingthe book a lot of attractive for the readers.