Petri網(wǎng)及其在制造系統(tǒng)建模與控制中的應(yīng)用

第1章  離散事件動(dòng)態(tài)系統(tǒng)概論
  1.1  系統(tǒng)及系統(tǒng)控制
  1.1.1  系統(tǒng)及系統(tǒng)建模
  1.1.2  系統(tǒng)的狀態(tài)空間建模
  1.1.3  狀態(tài)空間
  1.1.4  離散時(shí)間系統(tǒng)
  1.2  離散事件系統(tǒng)基本概念
  1.2.1  事件的概念
  1.2.2  DES的特征
  1.2.3  有關(guān)DES的示例
  1.3  各種離散事件系統(tǒng)理論方法簡(jiǎn)介
  1.3.1  形式語(yǔ)言與自動(dòng)機(jī)
  1.3.2  極大-加法代數(shù)
  1.3.3  算術(shù)與布爾函數(shù)法
  1.3.4  排隊(duì)論
  1.3.5  馬可夫鏈
  1.3.6  攝動(dòng)分析
  1.4  Petri網(wǎng)概況
  1.4.1  Petri網(wǎng)的發(fā)展歷史
  1.4.2  基于Petri網(wǎng)的DES模型簡(jiǎn)介
  1.4.3  Petri網(wǎng)特點(diǎn)
第2章  制造系統(tǒng)建模與控制基礎(chǔ)
  2.1  制造系統(tǒng)概念
  2.1.1  制造的概念
  2.1.2  制造系統(tǒng)的定義
  2.1.3  連續(xù)產(chǎn)品與離散產(chǎn)品制造系統(tǒng)
  2.1.4  制造系統(tǒng)的活動(dòng)
  2.2  制造系統(tǒng)的性能
  2.2.1  生產(chǎn)率(ProductionRate)
  2.2.2  生產(chǎn)能力(ProductionCapacity)
  2.2.3  制造提前期
  2.2.4  機(jī)器利用率與完好率
  2.2.5  在制品數(shù)
  2.3  制造系統(tǒng)的DES建模
  2.4  制造系統(tǒng)DES模型應(yīng)用
  2.4.1  制造系統(tǒng)分析
  2.4.2  制造系統(tǒng)控制
  2.4.3  生產(chǎn)調(diào)度
  2.4.4  制造系統(tǒng)仿真
  2.5  Petri網(wǎng)在制造系統(tǒng)中的應(yīng)用概況
第3章  基本Petri網(wǎng)及其應(yīng)用
  3.1  基本Petri網(wǎng)
  3.1.1  Petri網(wǎng)的定義
  3.1.2  PN的運(yùn)行規(guī)則
  3.1.3  幾種特另Ij的PN
  3.2  制造系統(tǒng)的若干基本PN模型
  3.2.1  緩沖區(qū)模型與PN的抑制弧
  3.2.2  FCFS的工件隊(duì)列PN模型
  3.2.3  描述制造系統(tǒng)的并行與同步特征PN模型
  3.2.4  描述制造系統(tǒng)資源競(jìng)爭(zhēng)的模型
  3。3  基本PN，陛能
  3.3.1  可達(dá)性
  3.3.2  有界性與安全性
  3.3.3  活性
  3.3.4  可逆性與主宿狀態(tài)
  3.3.5  守衡性
  3.3.6  PN的結(jié)構(gòu)性能
  3.4  基于PN的制造系統(tǒng)性能分析
  3.4.1  基于可達(dá)圖與覆蓋樹(shù)的分析
  3.4.2  基于不變量的分析
  3.5  一個(gè)生產(chǎn)單元的PN建模
  3.6基于PN的FMS控制
  3.6.1  一柔性制造系統(tǒng)(FMS)示例簡(jiǎn)介
  3.6.2  示例FMS的PN模型的建立
  3.6.3  PN描述語(yǔ)言與運(yùn)行程序
第4章  賦時(shí)Petri網(wǎng)及其應(yīng)用
  4.1  賦時(shí)庫(kù)所Petri網(wǎng)
  4.1.1  賦時(shí)庫(kù)所Petri網(wǎng)的定義
  4.1.2  賦時(shí)庫(kù)所Petri網(wǎng)的極大極小分析方法
  4.1.3  賦時(shí)變遷Petri網(wǎng)的定義
  4.2  賦時(shí)Petri網(wǎng)在多任務(wù)加工車(chē)間建模與分析中的應(yīng)用
  4.2.1  多任務(wù)加工車(chē)間及其賦時(shí)Petri網(wǎng)模型
  4.2.2  基于TTPN模型的加工車(chē)間性能分析
  4.2.3  系統(tǒng)堵塞條件
  4.2.4  加工車(chē)間最大生產(chǎn)率下運(yùn)行
  4.2.5  最少化在制工件
  4.3  賦時(shí)Petri網(wǎng)在柔性制造系統(tǒng)生產(chǎn)調(diào)度中的應(yīng)用
  4.3.1  基于TPPN的調(diào)度模型的建立
  4.3.2  啟發(fā)式搜索方法
  4.3.3  調(diào)度結(jié)果及討論
第5章  隨機(jī)Petri網(wǎng)及其應(yīng)用
  5.1  隨機(jī)Petri網(wǎng)
  5.1.1  指數(shù)分布
  5.1.2  隨機(jī)Petri網(wǎng)的定義
  5.1.3  隨機(jī)Petri網(wǎng)的分析方法
  5.2  廣義隨機(jī)Petri網(wǎng)
  5.2.1  廣義隨機(jī)Petri網(wǎng)的定義
  5.2.2  隱退標(biāo)識(shí)與真實(shí)標(biāo)識(shí)
  5.2.3  GSPN的激發(fā)規(guī)則
  5.2.4  隱退標(biāo)識(shí)的移去方法
  5.2.5  GSPN的特性
  5.3  基于GSPN的自動(dòng)生產(chǎn)線分析
  5.3.1  機(jī)器與緩沖區(qū)模塊
  5.3.2  2臺(tái)機(jī)器1個(gè)緩沖區(qū)構(gòu)成的流水線
  5.3.3  由3臺(tái)機(jī)器與2個(gè)緩沖區(qū)構(gòu)成的流水線
第6章  著色Petri網(wǎng)及復(fù)雜制造系統(tǒng)建模與分析
  6.1  著色Petri網(wǎng)的必要性
  6.2  著色Petri網(wǎng)的定義
  6.3  CPN的不變量分析
  6.4  時(shí)間著色Petri網(wǎng)的定義
  6.4.1  時(shí)間與庫(kù)所關(guān)聯(lián)的TCPN的激發(fā)規(guī)則
  6.4.2  時(shí)間與變遷關(guān)聯(lián)的TCPN的激發(fā)規(guī)則
第7章  面向?qū)ο驪etri網(wǎng)及其制造系統(tǒng)集成建模
  7.1  問(wèn)題的提出
  7.2  系統(tǒng)的OPN的定義
  7.3  0PN性能分析
  7.3.1  動(dòng)態(tài)性分析一鎖死探測(cè)
  7.3.2  沖突分析
  7.4  基于OPN的制造系統(tǒng)集成建模
第8章  模糊Petri網(wǎng)
  8.1  模糊邏輯與知識(shí)表達(dá)
  8.2  模糊Petri網(wǎng)(FPN)的定義
  8.3  復(fù)合模糊規(guī)則FPN的描述
  8.4  基于FPN的模糊推理算法
  8.5  模糊Petri網(wǎng)應(yīng)用—
第9章  混合Petri網(wǎng)及其應(yīng)用
  9.1  混合系統(tǒng)概念
  9.2  一個(gè)簡(jiǎn)單的混合Petri網(wǎng)的例子
  9.3  HPN定義
  9.4  HPN的激發(fā)速度以及動(dòng)態(tài)特性
  9.4.1  可行IFS向量
  9.4.2  無(wú)沖突激發(fā)速度計(jì)算
  9.4.3  全局沖突的化解
  9.4.4  局部沖突的化解
  9.5  HPN的靈敏度分析
  9.5.1  攝動(dòng)模型
  9.5.2  右邊約束項(xiàng)向量攝動(dòng)分析
  9.5.3  約束矩陣系數(shù)攝動(dòng)分析
  9.5.4  一個(gè)再次進(jìn)入服務(wù)系統(tǒng)靈敏度分析
  9.6  基于HPN的制造系統(tǒng)建模
  9.6.1  機(jī)器模型
  9.6.2  一個(gè)制造系統(tǒng)的網(wǎng)絡(luò)模型
  9.6.3  HPN模型
第10章  變結(jié)構(gòu)Petri網(wǎng)及其可變制造系統(tǒng)建模
  10.1  現(xiàn)代時(shí)變制造系統(tǒng)
  10.1.1  制造系統(tǒng)發(fā)展
  10.1.2  可變制造系統(tǒng)
  10.1.3  可變制造系統(tǒng)變化方法
  10.1.4  可變制造系統(tǒng)變化性能的評(píng)價(jià)
  10.2  可變制造系統(tǒng)的建模
  10.2.1  可變制造系統(tǒng)建模
  10.2.2  可變制造系統(tǒng)的建模方法
  10.3  變結(jié)構(gòu)Petri網(wǎng)及可變制造系統(tǒng)建模
  10.3.1  變結(jié)構(gòu)面向?qū)ο驪etri網(wǎng)的定義
  10.3.2結(jié)構(gòu)變化算法
  10.4  案例分析
參考文獻(xiàn)