Formal methods in manufacturing. ([2014])

• Record Type: Book
• Further Information: Note: Edited by Javier Campos, Carla Seatzu, Xiaolan Xie.
• Editors: Campos, Javier, 1963-; Seatzu, Carla; Xie, Xiaolan
• 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.
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2014
• Extent: 1 online resource (xviii, 698 pages)
• Subjects: 670; 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; Electronic books; Electronic books
• Languages: English
• ISBNs: 9781466561564; 1466561564
• Related ISBNs: 9781466561557; 1466561556
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.