You are previewing Formal Methods in Manufacturing Systems.
O'Reilly logo
Formal Methods in Manufacturing Systems

Book Description

Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines. Formal Methods in Manufacturing Systems: Recent Advances explores this shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.

Table of Contents

  1. Cover
  2. Title Page
  3. Copyright Page
  4. Book Series
  5. Editorial Advisory Board and List of Reviewers
    1. Editorial Advisory Board
    2. List of Reviewers
  6. Preface
  7. Acknowledgment
  8. Section 1: Supervisory Control in FMS
    1. Chapter 1: Nonblocking Supervisory Control of Flexible Manufacturing Systems Based on State Tree Structures
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. BACKGROUND OF FLEXIBLE MANUFACTURING SYSTEMS
      4. 3. BASICS OF STATE TREE STRUCTURES
      5. 4. STS MODELING OF FMS
      6. 5. NONBLOCKING SUPERVISOR FOR FMS
      7. CONCLUSION AND FUTURE WORK
    2. Chapter 2: Petri Net Supervisory Method for Linear Constraints and its Applications to Flexible Manufacturing Systems
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. CONSTRAINT TRANSFORMATIONS AT TRANSITIONS
      5. ILLUSTRATION
      6. FUTURE RESEARCH DIRECTIONS
      7. CONCLUSION
    3. Chapter 3: Distributed Maximally Permissive Nonblocking Control of Flexible Manufacturing Systems
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. DISTRIBUTED CONTROL THEORY
      4. 3. FLEXIBLE MANUFACTURING SYSTEMS: SYSTEM DESCRIPTION
      5. 4. FLEXIBLE MANUFACTURING SYSTEMS: DISTRIBUTED CONTROL
      6. 5. INTERPRETATION OF COORDINATION AS THE MEANS OF DEADLOCK PREVENTION
      7. 6. FUTURE RESEARCH DIRECTIONS
      8. CONCLUSION
    4. Chapter 4: A Computationally Improved Control Policy for FMS Using Crucial Marking/Transition-Separation Instances
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. MAIN FOCUS OF THE CHAPTER
      5. FUTURE RESEARCH DIRECTIONS
      6. CONCLUSION
  9. Section 2: Production Planning and Scheduling
    1. Chapter 5: Hybrid Optimization Techniques for Industrial Production Planning
      1. ABSTRACT
      2. INTRODUCTION
      3. INDUSTRIAL PRODUCTION PLANNING PROBLEMS
      4. FUTURE RESEARCH DIRECTIONS
      5. CONCLUSION
      6. APPENDIX
    2. Chapter 6: MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND ISSUES
      4. METHODOLOGY OVERVIEW
      5. APPLICATION EXAMPLE
      6. VERIFICATION
      7. RELATED WORKS AND FUTURE RESEARCH DIRECTIONS
      8. CONCLUSION
    3. Chapter 7: A Resource-Oriented Petri Net Approach to Scheduling and Control of Time-Constrained Cluster Tools in Semiconductor Fabrication
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. OPERATION MODE AND MOTIVATION
      4. 3. PETRI NET MODELING
      5. 4. OPERATIONAL ARCHITECTURE AND CONTROL POLICY
      6. 5. WAFER SOJOURN TIME DELAY ANALYSIS
      7. 6. SCHEDULABILITY AND SCHEDULING ALGORITHM
      8. CONCLUSION AND FUTURE WORK
    4. Chapter 8: Real-Time Scheduling and Control of Single-Arm Cluster Tools with Residency Time Constraint and Activity Time Variation by Using Resource-Oriented Petri Nets
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. SYSTEM MODELING
      4. 3. ANALYSIS OF TEMPORAL PROPERTIES
      5. 4. SCHEDULABILITY AND SCHEDULING ALGORITHM
      6. 5. ILLUSTRATIVE EXAMPLES
      7. CONCLUSION
    5. Chapter 9: Intelligent Computation for Manufacturing
      1. ABSTRACT
      2. KNOWLEDGE-BASED SYSTEMS
      3. FUZZY LOGIC
      4. INDUCTIVE LEARNING
      5. NEURAL NETWORKS
      6. GENETIC ALGORITHMS
      7. SWARM INTELLIGENCE
      8. SOME APPLICATIONS IN MANUFACTURING
      9. CONCLUSION AND FUTURE RESEARCH DIRECTIONS
    6. Chapter 10: Feasible Dynamic Reconfigurations of Petri Nets
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. STATE OF THE ART
      4. 3. NET CONDITION/EVENT SYSTEMS
      5. 4. COMPUTATION TREE LOGIC
      6. 5. ENAS: BENCHMARK PRODUCTION SYSTEM
      7. 6. SPECIFICATION OF RECONFIGURABLE CONTROL SYSTEMS
      8. 7. RECONFIGURATION OF NET CONDITION/EVENT SYSTEMS
      9. 8. MODEL CHECKING OF RECONFIGURABLE PETRI-NETS
      10. CONCLUSION
  10. Section 3: Deadlock Prevention and Net Analysis Techniques
    1. Chapter 11: A Critical-Siphon Approach to Fastest Deadlock Controller for S3PR
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. THEORY OF 2-DEPENDENT SIPHONS
      4. 3. THEORY OF N-DEPENDENT SIPHONS
      5. 4. PROOF OF PROPOSITION 1 AND SOME SPECIAL CASES
      6. 5. APPLICATIONS
      7. 6. THEORY OF STATE LOSSES AND WC ARCS
      8. CONCLUSION
    2. Chapter 12: Iterative Deadlock Control for Petri Net Models of Automated Manufacturing Systems
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. BASICS OF PETRI NETS
      4. 3. FUNCTIONAL BLOCKS
      5. 4. EXAMPLES AND MATHEMATICAL TOOLS
      6. 5. ITERATIVE ALGORITHMS
      7. 6. DISCUSSION
      8. CONCLUSION
    3. Chapter 13: Design of Optimized Petri Net Supervisors for Flexible Manufacture Systems Based on Elementary Siphons
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. PRELIMINARIES
      4. 3. DEADLOCK PREVENTION POLICY AND APPLICATION
      5. CONCLUSION
    4. Chapter 14: Deadlock Control in Generalized Petri Nets
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. AN APPLICATION SUBCLASS OF GENERALIZED PETRI NETS
      4. 3. AN ELEMENTARY SIPHON-BASED DEADLOCK PREVENTION POLICY
      5. 4. MIP-BASED DEADLOCK PREVENTION METHODS FOR GENERALIZED PETRI NETS
      6. 5. CASE STUDY
      7. CONCLUDING REMARKS AND FUTURE STUDY
    5. Chapter 15: Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions
      1. ABSTRACT
      2. 1. BACKGROUND
      3. 2. UNCONTROLLABLE AND UNOBSERVABLE TRANSITIONS
      4. 3. APPLICABILITY OF DEADLOCK PREVENTION POLICIES
      5. 4. LIVENESS-ENFORCING SUPERVISOR FOR LSPR
      6. CONCLUSION
    6. Chapter 16: Solving Siphons with the Minimal Cardinality for Deadlock Control
      1. ABSTRACT
      2. 1. INTRODUCTION
      3. 2. PRELIMINARIES
      4. 3. REVISED MIP METHOD
      5. 4. AN ITERATIVE SIPHON-BASED CONTROL APPROACH
      6. 5. EXAMPLES
      7. CONCLUSION
    7. Chapter 17: Composition of Functional Petri Nets
      1. ABSTRACT
      2. INTRODUCTION
      3. BACKGROUND
      4. 1. ISSUES, CONTROVERSIES, PROBLEMS
      5. 2. CONCEPTS OF FUNCTIONAL PETRI NET AND FUNCTIONAL SUBNET
      6. 3. PROPERTIES OF FUNCTIONAL SUBNETS
      7. 4. TECHNIQUE OF DECOMPOSITION INTO FUNCTIONAL SUBNETS
      8. 5. COMPOSITIONAL ANALYSES OF PETRI NETS
      9. 6. SEQUENTIAL COMPOSITIONS OF FUNCTIONAL SUBNETS
      10. 7. NETWORKING PROTOCOLS VERIFICATION USING COMPOSITION OF FUNCTIONAL SUBNETS
      11. 8. SOLUTIONS AND RECOMMENDATIONS
      12. FUTURE RESEARCH DIRECTIONS
      13. CONCLUSION
  11. Compilation of References
  12. About the Contributors