Coverart for item
The Resource Formal methods in manufacturing, edited by Javier Campos, Carla Seatzu, Xiaolan Xie

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

Label
Formal methods in manufacturing
Title
Formal methods in manufacturing
Statement of responsibility
edited by Javier Campos, Carla Seatzu, Xiaolan Xie
Contributor
Subject
Language
eng
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
Member of
Dewey number
670
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Campos, Javier
  • Seatzu, Carla,
  • Xie, Xiaolan,
Series statement
Industrial information technology series
http://library.link/vocab/subjectName
Manufacturing processes
Label
Formal methods in manufacturing, edited by Javier Campos, Carla Seatzu, Xiaolan Xie
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references and index
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
Control code
ocn870946300
Dimensions
unknown
Extent
1 online resource (xviii, 698 pages)
Form of item
online
Isbn
9781466561564
Note
Taylor & Francis
Other control number
10.1201/9781315216140
Specific material designation
remote
System control number
(OCoLC)870946300
Label
Formal methods in manufacturing, edited by Javier Campos, Carla Seatzu, Xiaolan Xie
Publication
Copyright
Bibliography note
Includes bibliographical references and index
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
Control code
ocn870946300
Dimensions
unknown
Extent
1 online resource (xviii, 698 pages)
Form of item
online
Isbn
9781466561564
Note
Taylor & Francis
Other control number
10.1201/9781315216140
Specific material designation
remote
System control number
(OCoLC)870946300

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...