The book gives an overview of the most important solutions to a series of problems that usually occur in manufacturing systems, focusing on those solutions that are based on a formal model of the system. The main problems considered are modeling and simulation, supervisory control (including deadlock prevention), performance evaluation (including scheduling and optimization), fault diagnosis, and reconfiguration. The book also presents formal methods in detail for specific problems in the above framework. All are illustrated with examples from manufacturing. The book assumes some knowledge of systems theory and discrete event systems theory but provides introductory material on each formalism (Petri nets, automata, and max-plus algebra), making the book suitable also for readers who are not experts on formalisms.
Preface
Part I : Modeling and Simulations of Manufacturing Systems : Modeling Manufacturing Systems with Petri Nets
Chapter 1 : Modeling Manufacturing Systems in a Dioid Framework Chapter 2 : Modeling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets Chapter 3 : Hybrid Models for Manufacturing Systems Chapter 4 : Modeling and Simulation of Freight Transportation Networks
Part II : Supervisory Control of Manufacturing Systems : Deadlock Avoidance Policies for Automated Manufacturing Systems using Finite State automata
Chapter 5 : Structural Deadlock Prevention Policies for Flexible Manufacturing Systems : A Petri Net Outlook Chapter 6 : Deadlock Avoidance Policies in Production Systems by a Digraph Approach Chapter 7 : Supervisory Control of Manufacturing Systems using Petri Nets Chapter 8 : Supervisory Control of Manufacturing Systems using Finite State Automata Chapter 9 : Decentralized Supervisory Control of Complex Manufacturing Systems Chapter 10 : Model Predictive Control of Manufacturing Systems with Max-Plus Algebra
Part III : Performance Evaluation of Manufacturing Systems and Supply Chains : Performance Evaluation of Manufacturing Systems with Timed/Stochastic Petri Nets
Chapter 11 : Performance Evaluation and Control of Manufacturing Systems : A Continuous Petri Nets View Chapter 12 : Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra Chapter 13 : Performance Evaluation of Manufacturing Systems with Max-Plus Algebra Chapter 14 : Lean Buffers in Asynchronous Serial Production Lines Chapter 15 : Inventory Allocation and Cycle Time Improvement in Manufacturing Systems and Supply Chains Chapter 16 : Minimizing Places Capacities of a Timed Weighted Event Graph under Throughput Requirements Chapter 17 : Scheduling of Semiconductor Manufacturing Systems using Petri Nets Chapter 18 : Model Synthesis, Planning, Scheduling and Simulation of Healthcare Delivery Systems using Petri Nets
Part IV : Fault Diagnosis of Manufacturing Systems : Fault Diagnosis of Manufacturing Systems using Finite State Automata
Chapter 19 : Fault Diagnosis of Manufacturing Systems using Petri Nets Chapter 20 : Reliability, Safety and Fault Diagnosis in Complex Manufacturing Systems Chapter 21 : Online Control Reconfiguration of Manufacturing Systems
