Advertisement

Deadlock Resolution in Automated Manufacturing Systems

A Novel Petri Net Approach

  • ZhiWu Li
  • MengChu Zhou

Part of the Advances in Industrial Control book series (AIC)

Table of contents

About this book

Introduction

Deadlock problems in flexible manufacturing systems (FMS) have received more and more attention in the last two decades. Petri nets are one of the more promising mathematical tools for tackling deadlocks in various resource allocation systems. In a system modeled with Petri nets, siphons are tied to the occurrence of deadlock states as a structural object. The book systematically introduces the novel theory of siphons, traps, elementary and dependent siphons of Petri nets as well as the deadlock control strategies for FMS developed from it. Deadlock prevention methods are examined comparatively. Many FMS examples are presented to demonstrate the concepts and results of this book, ranging from the simple to the complex. Importantly, to inspire and motivate the reader’s interest in further research, a number of interesting and open problems in this area are proposed at the end of each chapter.

Deadlock Resolution in Automated Manufacturing Systems is directed to control, computer, electrical, mechanical, and industrial engineers, researchers and scientists. It will be useful for designers in the automation and control disciplines in industry and academia who need to develop the control methods, tools and software to improve the performance of automated flexible manufacturing systems.

Keywords

Automated Manufacturing Systems Control Applications Control Engineering Deadlock Resolution Discrete Event Systems Flexible Manufacturing Systems Manufacturing Systems Petri Net automation control design manufacturing software

Authors and affiliations

  • ZhiWu Li
    • 1
  • MengChu Zhou
    • 2
  1. 1.School of Electro-Mechanical EngineeringXidian UniversityXi’anChina
  2. 2.Department of Electrical and Computer EngineeringNew Jersey Institute of TechnologyNewarkUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-84882-244-3
  • Copyright Information Springer London 2009
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84882-243-6
  • Online ISBN 978-1-84882-244-3
  • Series Print ISSN 1430-9491
  • Series Online ISSN 2193-1577
  • Buy this book on publisher's site