離散事件動(dòng)態(tài)系統(tǒng)的PN機(jī)理論

前言
第一章緒論
1.1引言
1.2離散事件動(dòng)態(tài)系統(tǒng)模型
1.3內(nèi)容的安排
參考文獻(xiàn)
第二章基本知識(shí)
2.1形式語(yǔ)言自動(dòng)機(jī)理論
2.2Petri網(wǎng)
2.3袋與袋冪集
參考文獻(xiàn)
第三章PN機(jī)與矢量文法
3.1矢量文法及其分類(lèi)
3.2丘規(guī)矢量文法細(xì)分及其與經(jīng)典文法的關(guān)系
3.3混雜PN機(jī)
3.4廣義混雜PN機(jī)
3.5PN機(jī)范式及其語(yǔ)言關(guān)系
3.6
3.7本章小結(jié)
參考文獻(xiàn)
第四章PN語(yǔ)言的判型實(shí)現(xiàn)與識(shí)別器
4.1判別PN語(yǔ)言屬型的算法基礎(chǔ)
4.2判型算法描述
4.3PN語(yǔ)言的串行識(shí)別器算法
4.4PN語(yǔ)言的并行識(shí)別器算法
本章小結(jié)
參考文獻(xiàn)
第五章行為表達(dá)式與安全PN機(jī)
5.1行為表達(dá)式
5.2安全PN機(jī)模型的構(gòu)造
5.3行為表達(dá)式到安全PN機(jī)轉(zhuǎn)換算法
5.4本章小結(jié)
參考文獻(xiàn)
第六章PN機(jī)的遞階操作
6.1PN機(jī)的HT操作
6.2HT操作的行為關(guān)系
6.3HT操作的保性研究
6.4PN機(jī)的HP操作
6.5HP操作的行為關(guān)系
6.6HP操作的保性研究
6.7基于遞階操作的系統(tǒng)建模方法
6.8應(yīng)用:機(jī)械臂抓物系統(tǒng)建模
6.9本章小結(jié)
參考艾獻(xiàn)
第七章PN機(jī)的合成操作
7.1同步合成與共享合成
7.2結(jié)構(gòu)性質(zhì)
7.3基于PN語(yǔ)言的活性刻畫(huà)
7.4活性控制
7.5動(dòng)態(tài)不變性
7.6行為相關(guān)性
7.7本章小結(jié)
參考文獻(xiàn)
第八章PN機(jī)的性能分析
8.1基于可達(dá)圖的分析方法
8.2基于矩姆函數(shù)的分析方法
8.3基于行為表達(dá)式的分析方法
8.4本章小結(jié)
參考文獻(xiàn)