基于Petri網(wǎng)信標(biāo)求解與施控的死鎖控制策略

第一章 概述
1.1 柔性制造系統(tǒng)
1.2 死鎖問題的研究方法
1.2.1 基于Petri網(wǎng)建模的柔性制造系統(tǒng)
1.2.2 基于Petri網(wǎng)的死鎖控制策略
1.2.3 死鎖預(yù)防策略
1.2.4 冗余控制庫所問題
1.2.5 活性Petri網(wǎng)控制器實施代價的評價
1.2.6 最大活性可達(dá)數(shù)的活性受控網(wǎng)系統(tǒng)
1.3 本章小結(jié)
第二章 Petri網(wǎng)的基本知識
2.1 Petri網(wǎng)的基本定義和性質(zhì)
2.2 結(jié)構(gòu)不變式
2.3 可達(dá)圖
2.4 Petrj網(wǎng)的復(fù)合與基本子類
2.5 多集的概念
2.6 Petri網(wǎng)結(jié)構(gòu)的特定對象——信標(biāo)
2.7 本章小結(jié)
第三章 基于完全信標(biāo)枚舉的死鎖預(yù)防策略
3.1 信標(biāo)枚舉法
3.1.1 嚴(yán)格極小信標(biāo)
3.1.2 基本信標(biāo)
3.1.3 拓展的基本信標(biāo)
3.2 相應(yīng)的死鎖預(yù)防策略
3.2.1 SMS枚舉與控制算法
3.2.2 ES枚舉與控制算法
3.3 算例
3.4 本章小結(jié)
第四章 基于部分信標(biāo)枚舉的死鎖預(yù)防策略
4.1 混合整數(shù)規(guī)劃方法
4.1.1 適用于普通Petri網(wǎng)的MIP
4.1.2 適用于一般Petri網(wǎng)的MIP
4.1.3 改進(jìn)的MIP與新的MIP
4.2 S3PR網(wǎng)基本信標(biāo)集合的求解
4.2.1 庫所的分類
4.2.2 基本信標(biāo)集合的迭代式求解算法
4.2.3 算例
4.3基于必需信標(biāo)的死鎖預(yù)防算法
4.3.1 必需信標(biāo)
4.3.2 控制庫所
4.3.3 迭代式死鎖預(yù)防控制算法
4.3.4 算例
4.4 基于靈巧信標(biāo)的死鎖預(yù)防算法
4.4.1 迭代式死鎖控制算法
4.4.2 算例
4.5 基于新靈巧信標(biāo)的死鎖與活鎖預(yù)防算法
4.5.1 迭代式死鎖與活鎖控制算法
4.5.2 算例
4.6 G—Syetem網(wǎng)的死鎖預(yù)防策略
4.6.1 G—system的定義
4.6.2 基于靈巧信標(biāo)的迭代死鎖控制算法
4.6.3 算例
4.7 本章小結(jié)
第五章 活性Petri網(wǎng)控制器的結(jié)構(gòu)化簡
5.1 活性Petri網(wǎng)控制器的結(jié)構(gòu)化簡
5.1.1 隱式庫所及其鑒別
5.1.2 鑒別與刪除冗余控制庫所的迭代式控制算法
5.2 算例
5.3 本章小結(jié)
第六章 死鎖控制研究的一些新進(jìn)展
6.1 普通Petri網(wǎng)兩段式最大可達(dá)數(shù)的歹E鎖控制算法
6.1.1 控制庫所與控制變遷
6.1.2 從屬館標(biāo)的可控性
6.3 兩段式死鎖控制算法
6.1.4 算例
6.2 基于控制變遷的死鎖控制算法
6.2.1 控制變遷方程
6.2.2 控制變遷數(shù)目最小化的線性規(guī)劃問題
6.2.3 控制變遷的重構(gòu)
6.2.4 應(yīng)用控制變遷的死鎖控制算法
6.2.5 算例
6.3 活性Pti網(wǎng)控制器實施代價評價算法
6.3.1 活性控制器的權(quán)系數(shù)表述
6.3.2 和^的多目標(biāo)線性規(guī)劃問題
6.3.3 相關(guān)實施代價評估的規(guī)劃問題
6.3.4 活性控制器實施代價評估的迭代式算法
6.3.5 算例
6.4 本章小結(jié)
參考文獻(xiàn)