Muutke küpsiste eelistusi

E-raamat: System Modeling and Control with Resource-Oriented Petri Nets

(Guangdong University of Technology, Peoples Republic of Chin), (New Jersey Institute of Technology, Newark, NJ, USA)
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 105,29 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
System Modeling and Control with Resource-Oriented Petri NetsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Petri nets are widely used in modeling, analysis, and control of discrete event systems arising from manufacturing, transportation, computer and communication networks, and web service systems. However, Petri net models for practical systems can be very large, making it difficult to apply such models to real-life problems.

System Modeling and Control with Resource-Oriented Petri Nets introduces a new resource-oriented Petri net (ROPN) model that was developed by the authors. Not only does it successfully reduce model size, but it also offers improvements that facilitate effective modeling, analysis, and control of automated and reconfigurable manufacturing systems.

Presenting the latest research in this novel approach, this cutting-edge volume provides proven theories and methodologies for implementing cost and time-saving improvements to contemporary manufacturing systems. It provides effective tools for deadlock avoidancedeadlock-free routing and deadlock-free scheduling. The authors supply simple and complex industrial manufacturing system examples to illustrate time-tested concepts, theories, and approaches for solving real-life application problems. Written in a clear and concise manner, the text covers applications to automated and reconfigurable manufacturing systems, automated guided vehicle (AGV) systems, semiconductor manufacturing systems, and flexible assembly systems.

Explaining complex concepts in a manner that is easy to understand, the authors provide the understanding and tools needed for more effective modeling, analysis, performance evaluation, control, and scheduling of engineering processes that will lead to more flexible and efficient manufacturing systems.
Preface xi
Acknowledgments xvii
The Authors xix
List of Abbreviations
xxi
Introduction to Petri Net Modeling
1(14)
The Modeling Process
1(1)
Automated Manufacturing Systems
2(4)
Historical Perspective of Petri Nets in Automation
6(6)
Scope and Objectives
12(1)
Summary
13(2)
References
14(1)
Petri Nets: Basic Concept
15(16)
Basic Concepts
15(5)
Definition
15(1)
Enabling and Firing Rules
16(2)
Finite Capacity PN
18(1)
Some Special Structures in PN
18(2)
Subclass of PN
20(2)
Properties
22(5)
Reachability
22(1)
Boundedness
23(1)
Incidence Matrix and Conservativeness
24(1)
Reversibility
24(1)
Liveness
25(2)
Timed PN
27(1)
PN with Inhibitor Arcs
28(2)
Summary
30(1)
References
30(1)
Colored Petri Net
31(12)
A Simple Example
31(2)
Definitions of CPN
33(4)
Transition Enabling and Firing Rules
37(1)
P-Invariant in CPN
38(3)
Summary
41(2)
References
41(2)
Process-Oriented Petri Net Modeling
43(14)
Introduction
43(1)
Modeling Method
44(3)
Resource Sharing in POPN
47(5)
Resource Sharing in Part Processing
48(2)
Resource Sharing in Material Handling
50(2)
Characteristics of POPN
52(2)
Summary
54(3)
References
55(2)
Resource-Oriented Petri Net Modeling
57(14)
Introduction
57(1)
Steps of ROPN Modeling
57(1)
Modeling Part Production Processes
58(7)
Subnet Forming
60(1)
Subnet Merging
60(2)
Colored ROPN
62(3)
Modeling Material Handling Processes
65(1)
Resource Sharing in ROPN
66(2)
Characteristics of ROPN
68(1)
Summary
69(2)
References
69(2)
Process- vs. Resource-Oriented Petri Nets
71(12)
Modeling Power and Model Size
71(1)
Conservativeness
72(1)
Structure for Liveness
73(1)
Example
74(6)
Summary
80(3)
References
81(2)
Control of Flexible and Reconfigurable Manufacturing Systems
83(32)
Introduction
83(1)
Deadlock in FMS
84(3)
System Modeling by CROPN
87(2)
Existence of Deadlock
89(4)
Deadlock Avoidance Policy
93(9)
Case 1: Subnet Formed by One PPC
95(1)
Case 2: Interactive Subnet Formed by Two PPCs
95(3)
Case 3: Interactive Subnet Formed by Multiple PPCs
98(4)
Liveness of Overall System
102(2)
Illustrative Example
104(1)
Implementation
105(2)
Deadlock Avoidance with Shared Material Handling System
107(5)
Deadlock Situations
107(2)
Deadlock Avoidance with MHS via ROPN Modeling
109(3)
Summary
112(3)
References
113(2)
Avoiding Deadlock and Reducing Starvation and Blocking
115(18)
Introduction
115(1)
A Simple Example
116(2)
Relaxed Control Policy
118(3)
Dependent PPCs in Interactive Subnets
121(7)
Complexity in Applying the Control Law
128(1)
Performance Improvement through Examples
128(3)
Summary
131(2)
References
131(2)
Control and Routing of Automated Guided Vehicle Systems
133(38)
Introduction
133(2)
Control of AGV Systems with Unidirectional Paths
135(5)
Modeling AGV Systems with Unidirectional Paths byCROPN
135(1)
Deadlock Avoidance Policy
136(3)
Computational Complexity
139(1)
Control of AGV Systems with Bidirectional Paths
140(14)
Modeling AGV Systems with Bidirectional Paths by CROPN
140(3)
Deadlock Avoidance for AGV Systems with Cycles
143(5)
Deadlock Avoidance in the CROPN
148(2)
Examples
150(4)
Routing of AGV Systems Based on CROPN
154(15)
Problem Description
155(3)
AGV Rerouting
158(4)
Route Expansion
162(1)
Illustrative Examples
163(2)
Performance Comparison
165(4)
Summary
169(2)
References
169(2)
Control of FMS with Multiple AGVs
171(14)
Introduction
171(2)
System Modeling with CROPN
173(5)
Deadlock Avoidance Policy
178(4)
Illustrative Example
182(1)
Summary
183(2)
References
183(2)
Control of FMS with Multiple Robots
185(12)
Introduction
185(1)
Motivation through Example
185(1)
Deadlock Control Policy
186(7)
Illustrative Example
193(1)
Summary
194(3)
References
195(2)
Control of Semiconductor Manufacturing Systems
197(42)
Modeling, Analysis, and Control of Cluster Tools
197(16)
Cluster Tools
198(1)
Analysis by Timed MG
199(4)
Modeling Cluster Tools by CROPN
203(5)
Analysis of the Single-Blade Robot Cluster Tool
208(1)
Deadlock Analysis
209(1)
Throughput Analysis for the Process without Revisiting
210(1)
Throughput Analysis of a Process with Revisiting
211(2)
Analysis of Dual-Blade Robot Cluster Tools
213(4)
Deadlock Analysis
213(1)
Throughput Analysis for the Process without Revisiting
214(1)
Throughput Analysis of Process with Revisiting
215(2)
Deadlock Avoidance in Track System
217(13)
Semiconductor Track System
217(2)
Modeling by ROPN
219(1)
Deadlock-Free Condition for Strongly Connected Subnet
220(8)
Implementation of the Deadlock-Free Condition
228(1)
Illustrative Example
229(1)
Deadlock-Free Scheduling of a Track System
230(6)
Dispatching Rules
231(3)
Illustrative Example
234(2)
Summary
236(3)
References
236(3)
Modeling and Control of Assembly/Disassembly Systems
239(28)
Introduction
239(1)
A Flexible Assembly System
240(2)
R-Policy
242(4)
Modeling FAS by CROPN
246(7)
Models for Resources
246(1)
Models for Individual Products
247(3)
ROPN for the Whole System
250(3)
Realizable Resource Requirement
253(3)
Deadlock Avoidance Control Policy
256(4)
Illustrative Example
260(2)
Industrial Case Study
262(3)
Summary
265(2)
References
266(1)
Bibliography 267(6)
Index 273
Naiqi Wu is a professor of industrial and systems engineering in the Department of Industrial Engineering at Guangdong University of Technology, Peoples 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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97813518341246e.html
Märksõnad: