1st Edition
System Modeling and Control with Resource-Oriented Petri Nets
Preface
Acknowledgments
The Authors
List of Abbreviations
Introduction to Petri Net Modeling
The Modeling Process
Automated Manufacturing Systems
Historical Perspective of Petri Nets in Automation
Scope and Objectives
Summary
References
Petri Nets: Basic Concept
Basic Concepts
Subclass of PN
Properties
Timed PN
PN with Inhibitor Arcs
Summary
References
Colored Petri Net
A Simple Example
Definitions of CPN
Transition Enabling and Firing Rules
P-Invariant in CPN
Summary
References
Process-Oriented Petri Net Modeling
Introduction
Modeling Method
Resource Sharing in POPN
Characteristics of POPN
Summary
References
Resource-Oriented Petri Net Modeling
Introduction
Steps of ROPN Modeling
Modeling Part Production Processes
Modeling Material Handling Processes
Resource Sharing in ROPN
Characteristics of ROPN
Summary
References
Process- vs. Resource-Oriented Petri Nets
Modeling Power and Model Size
Conservativeness
Structure for Livenes
Example
Summary
References
Control of Flexible and Reconfigurable Manufacturing Systems
Introduction
Deadlock in FMS
System Modeling by CROPN
Existence of Deadlock
Deadlock Avoidance Policy
Liveness of Overall System
Illustrative Example
Implementation
Deadlock Avoidance with Shared Material Handling System
Summary
References
Avoiding Deadlock and Reducing Starvation and Blocking
Introduction
A Simple Example
Relaxed Control Policy
Dependent PPCs in Interactive Subnets
Complexity in Applying the Control Law
Performance Improvement through Examples
Summary
References
Control and Routing of Automated Guided Vehicle Systems
Introduction
Control of AGV Systems with Unidirectional Paths
Control of AGV Systems with Bidirectional Paths
Routing of AGV Systems Based on CROPN
Summary
References
Control of FMS with Multiple AGVs
Introduction
System Modeling with CROPN
Deadlock Avoidance Policy
Illustrative Example
Summary
References
Control of FMS with Multiple Robots
Introduction
Motivation through Example
Deadlock Control Policy
Illustrative Example
Summary
References
Control of Semiconductor Manufacturing Systems
Modeling, Analysis, and Control of Cluster Tools
Deadlock Avoidance in Track System
Deadlock-Free Scheduling of a Track System
Summary
References
Modeling and Control of Assembly/Disassembly Systems
Introduction
A Flexible Assembly System
R-Policy
Modeling FAS by CROPN
Realizable Resource Requirement
Deadlock Avoidance Control Policy
Illustrative Example
Industrial Case Study
Summary
References
Bibliography
Index
Biography
Naiqi Wu is a professor of industrial and systems engineering in the Department of Industrial Engineering at Guangdong University of Technology, People’s Republic of China. MengChu Zhou is a professor of electrical and computer engineering and the director of the Discrete-Event Systems Laboratory at the New Jersey Institute of Technology, Newark, USA.
