| Description |
1 online resource (xviii, 698 pages) |
| Series |
Industrial information technology series |
|
Industrial information technology series.
|
| Contents |
Front Cover; Contents; Preface; Editors; Contributors; 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 AutomataChapter 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 AlgebraPart 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 SystemsChapter 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 SystemsBack Cover |
| Summary |
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration |
| Bibliography |
Includes bibliographical references and index |
| Notes |
English |
|
Print version record |
| Subject |
Manufacturing processes -- Mathematical models
|
|
TECHNOLOGY & ENGINEERING -- Industrial Engineering.
|
|
TECHNOLOGY & ENGINEERING -- Industrial Technology.
|
|
TECHNOLOGY & ENGINEERING -- Manufacturing.
|
|
TECHNOLOGY & ENGINEERING -- Technical & Manufacturing Industries & Trades.
|
|
Manufacturing processes -- Mathematical models
|
| Form |
Electronic book
|
| Author |
Campos, Javier, 1963- editor.
|
|
Seatzu, Carla, editor
|
|
Xie, Xiaolan, editor
|
| ISBN |
9781466561564 |
|
1466561564 |
|
9781315216140 |
|
1315216140 |
|
9781351823340 |
|
1351823345 |
|
