System Modeling and Control with Resource-Oriented Petri Nets: 1st Edition (Paperback) book cover

System Modeling and Control with Resource-Oriented Petri Nets

1st Edition

By MengChu Zhou, Naiqi Wu

CRC Press

312 pages | 115 B/W Illus.

Purchasing Options:$ = USD
Paperback: 9781138115088
pub: 2017-06-14
Currently out of stock
$79.95
x
Hardback: 9781439808849
pub: 2009-10-27
$210.00
x
eBook (VitalSource) : 9781439808856
pub: 2009-10-27
from $39.98


FREE Standard Shipping!

Description

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 avoidance—deadlock-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.

Table of Contents

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

About the Authors

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.

About the Series

Automation and Control Engineering

Learn more…

Subject Categories

BISAC Subject Codes/Headings:
COM059000
COMPUTERS / Computer Engineering
TEC007000
TECHNOLOGY & ENGINEERING / Electrical
TEC008000
TECHNOLOGY & ENGINEERING / Electronics / General