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

前言
第一章緒論
1.1引言
1.2離散事件動態(tài)系統(tǒng)模型
1.3內(nèi)容的安排
參考文獻(xiàn)
第二章基本知識
2.1形式語言自動機(jī)理論
2.2Petri網(wǎng)
2.3袋與袋冪集
參考文獻(xiàn)
第三章PN機(jī)與矢量文法
3.1矢量文法及其分類
3.2丘規(guī)矢量文法細(xì)分及其與經(jīng)典文法的關(guān)系
3.3混雜PN機(jī)
3.4廣義混雜PN機(jī)
3.5PN機(jī)范式及其語言關(guān)系
3.6
3.7本章小結(jié)
參考文獻(xiàn)
第四章PN語言的判型實(shí)現(xiàn)與識別器
4.1判別PN語言屬型的算法基礎(chǔ)
4.2判型算法描述
4.3PN語言的串行識別器算法
4.4PN語言的并行識別器算法
本章小結(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語言的活性刻畫
7.4活性控制
7.5動態(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)