自動製造系統建模、分析與死鎖控制

內容簡介

《自動製造系統建模、分析與死鎖控制》闡述了基於Petri網理論的自動製造系統的死鎖預防策略，反映了這一領域的重要成果和最新進展。內容主要包括Petri網的基本信標理論，基於信標的死鎖控制策略，基於可達圖的死鎖控制方法，活性Petri網控制器的結構化簡方法以及計算機科學中著名的分治策略在活性Petri網控制器設計中的套用。

圖書目錄

《21世紀先進制造技術叢書》序

前言

符號表

第1章緒論

1.1 自動製造系統

1.2 自動製造系統的Petri網模型

1.3 死鎖控制方法

1.4 小結

第2章 Petri網基本理論

2.1 多集

2.2 基本定義

2.3 結構不變式

2.4 信標和陷阱

2.5 可達圖

2.6 Petri網的基本子類

2.7 自動機

2.8 Petri網模型、控制器和受控系統

2.9 廣義相互抑制約束

2.10 小結

第3章 Petri網的基本信標

3.1 等價信標

3.2 基本信標

3.3 從屬信標的可控性

3.4 基本信標的選擇

3.5 小結

第4章基於信標的死鎖預防策略

4.1 S3PR網的控制

4.1.1 信標枚舉法

4.1.2 基本信標法

4.1.3 部分信標枚舉方法

4.1.4 部分信標枚舉方法的改進

4.1.5 控制庫所後置集的改進設計

4.2 S3PGR2網的控制

4.2.1 S4R網的定義以及C/D-RUN策略

4.2.2 算例

4.3 G-system的控制

4.3.1 G-system的定義

4.3.2 G-system中從屬信標可控性

4.3.3 死鎖控制策略

4.3.4 算例

4.4 小結

第5章基於可達圖的死鎖預防策略

5.1 最佳化的活性Petri網控制器設計

5.1.1 區域理論的Petri網詮釋

5.1.2 套用實例

5.2 基於信標控制和區域理論的活性Petri網控制器

5.3 次最佳化的活性Petri網控制器設計

5.3.1 無死鎖初始標識

5.3.2 死鎖預防策略

5.3.3 算例

5.4 信標選擇與死鎖控制

5.4.1 控制信標選擇的集合覆蓋方法

5.4.2 關鍵標識的選擇

5.4.3 疊代的信標控制方法

自動製造系統建模、分析與死鎖控制

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條