Formal methods in manufacturing / edited by Javier Campos, Carla Seatzu and Xiaolan Xie

CONTENT INCLUDES:

Part I - Modelling and Simulations of Manufacturing Systems;
Chapter 1 - Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets;
Chapter 2 - Modelling Manufacturing Systems in a Dioid Framework;
Chapter 3 - Modelling Manufacturing Systems and Inventory Control Systems with Hybrid Petri Nets;
Chapter 4 - Hybrid Models for the Control and Optimization of Manufacturing Systems;
Chapter 5 - Freight Transportation in Distributed Logistic Chains;

Part II - Supervisory Control of Manufacturing Systems
Chapter 6 - Deadlock Avoidance Policies for Automated Manufacturing Systems Using Finite State Automata
Chapter 7 - Structural Deadlock Prevention Policies for Flexible Manufacturing Systems: A Petri Net Outlook;
Chapter 8 - Deadlock Avoidance Policies in Production Systems by a Digraph Approach;
Chapter 9 - Supervisory Control of Manufacturing Systems Using Petri Nets;
Chapter 10 - Supervisory Control of Manufacturing Systems Using Extended Finite Automata;
Chapter 11 - Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics
Chapter 12 - Model Predictive Control of Manufacturing Systems with Max-Plus Algebra

Part III - Performance Evaluation of Manufacturing Systems and Supply Chains;
Chapter 13 - Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation;
Chapter 14 - Performance Evaluation and Control of Manufacturing Systems: A Continuous Petri Nets View;
Chapter 15 - Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra;
Chapter 16 - Lean Buffer Design in Production Systems
Chapter 17 - Inventory Allocation and Cycle Time Estimation in Manufacturing and Supply Systems
Chapter 18 - Minimizing Total Place Capacity under Throughput Constraint for a Weighted Timed Event Graph;
Chapter 19 - Scheduling of Semiconductor Manufacturing Systems Using Petri Nets;
Chapter 20 - Model Synthesis, Planning, Scheduling and Simulation of Health-Care Delivery Systems Using Petri Nets;

Part IV - Fault Diagnosis of Manufacturing Systems;
Chapter 21 - Fault Diagnosis of Manufacturing Systems Using Finite State Automata;
Chapter 22 - Fault Diagnosis in PetriNets
Chapter 23 - Online Control Reconfiguration for Manufacturing Systems

Includes index.