Deadlock Resolution in Intelligent Manufacturing Systems With Complex Structure

本书围绕具有复杂结构 的智能制造系统开展死锁控 制研究，全共分为9章，第1 章介绍本书的研究背景、研 究现状和专著梗概；第2章 介绍些相关的理论背景知识 ；第3章介绍反馈增强型标 记图的死锁控制方案；第4 章介绍增强扩展型标记图的 死锁控制方案；第5章介绍 向前冲突决策网的死锁控制 方案；第6章介绍种加权增 强型决策网的死锁控制方案 ；第7章介绍种增强型多层 标记图的死锁控制方案；第 8章介绍种基于信标的稳健 死锁控制方案；第9章介绍 实时在线的稳健死锁迭代控 制方案。书中每章都包括具 体的理论推导和实例分析。

Chapter 1 Introduction 1.1 Deadlock solutions 1.2 Deadlock prevention review 1.3 Deadlock avoidance review 1.4 Thesis organization References Chapter 2 Preliminaries of Petri Nets 2.1 Preliminaries 2.2 Structural invariants 2.3 Siphons and traps 2.4 Main structures modeled with Petri net References Chapter 3 A Petri Net-based Distributed Control of Assembly Systems 3.1 Petri net-based models with assembly operations 3.2 F-AMG models 3.3 Distributed control of F-AMGs 3.3.1 Critical places in F-AMGs 3.3.2 Distributed controllers in F-AMG 3.4 Illustrative example References Chapter 4 Distributed Approach to Systems with Complex Structures using Petri Nets 4.1 Construction of AEMG 4.2 Distributed control of AEMG 4.2.1 Critical places in AEMGs 4.2.2 Distributed controllers in AEMGs 4.3 Illustrative example References Chapter 5 Distributed Control for Forward Conflict Free Structures using Petri Nets 5.1 PN modeling of AMSs 5.2 Distributed control of FCFN 5.2.1 Local control for FCFN-block 5.2.2 Global control for FCFN 5.3 Illustrative example References Chapter 6 Distributed Control for Systems with Complex Routes and Operations 6.1 PN modeling of AMSs 6.2 Distributed control of WAFNs 6.2.1 Critical places in WAFNs 6.2.2 Distributed controllers in WAFNs 6.3 Illustrative example 6.4 Comparison and discussion References Chapter 7 Deadlock Characterization and Control of Layered or Hybrid Assembly Systems 7.1 Problem statements 7.2 Distributed control algorithm development over undirected topology 7.3 Deadlock avoidance policy 7.3.1 Avoidance for R-deadlock circuits 7.3.2 Avoidance for R&P-deadlock circuits 7.3.3 Improvement for algorithm 7.4 Illustrative example