PETRI網(wǎng)原理

上篇  Petri 網(wǎng)系統(tǒng)
第一章  網(wǎng)和網(wǎng)系統(tǒng)
第一節(jié)  實(shí)例
一、生產(chǎn)流水線
二、救火隊(duì)
三、救火記錄
四、無(wú)固定容量的FIFO棧
五、四秀系統(tǒng)
六、不加解釋的系統(tǒng)
第二節(jié)  基本定義
一、網(wǎng)和網(wǎng)的圖形表示
二、網(wǎng)系統(tǒng)
三、網(wǎng)系統(tǒng)分類
四、系統(tǒng)性質(zhì)
第二章  基本網(wǎng)系統(tǒng)
第一節(jié)  定義和變遷規(guī)則
第二節(jié)  事件間的基本關(guān)系
第三節(jié)  S_補(bǔ)和T_補(bǔ)
第四節(jié)  T_圖，S_圖和活性定理
第五節(jié)  應(yīng)用
一、哲學(xué)家就餐——共享資源的管理
二、并行編譯
三、容量還定的先進(jìn)行出棧
四、錯(cuò)在哪里
第三章  庫(kù)所/變遷系統(tǒng)
第一節(jié)  可達(dá)標(biāo)識(shí)集
一、定義和系統(tǒng)性質(zhì)
二、可達(dá)樹(shù)
三、可達(dá)圖
第二節(jié)  出現(xiàn)序列和變適序列
一、基本定義
二、原子行為及交語(yǔ)義
第三節(jié)  進(jìn)程
一、出現(xiàn)網(wǎng)
二、進(jìn)程：定義及應(yīng)用
三、進(jìn)程塊
第四節(jié)  不變量
一、關(guān)聯(lián)矩陣
二、S_不變量
三、T_不變量
四、其他結(jié)構(gòu)性質(zhì)
第五節(jié)  層次模擬和抽象
一、層次模擬
二、抽象
第四節(jié)  高級(jí)網(wǎng)系統(tǒng)
第一節(jié)  謂詞/變遷系統(tǒng)
一、從庫(kù)所到謂詞
二、定義和變遷規(guī)則
三、謂詞/變遷系統(tǒng)的行為
第二節(jié)  有色網(wǎng)系統(tǒng)
第三節(jié)自控網(wǎng)系統(tǒng)  
一、定義和變遷規(guī)則
二、不變量
下篇  通用網(wǎng)論
第五章  條件/事件系統(tǒng)
第一節(jié)  定義和完全可達(dá)關(guān)系
第二節(jié)  公理和基本現(xiàn)象
第三節(jié)  完備化
第六章  同步論
第一節(jié)  同步的各種形式
第二節(jié)  同步距離
一、S_元素作為觀察窗口
二、員步路離定義和性質(zhì)
第三節(jié)  同步距離與系統(tǒng)行為
一、基本集合與同步結(jié)構(gòu)
二、加權(quán)同步距離
第四節(jié)  同步距離的計(jì)算
第五節(jié)  同步距離的應(yīng)用
第七章  網(wǎng)邏輯
第一節(jié)  變遷形式分類——網(wǎng)邏輯結(jié)構(gòu)
第二節(jié)  事實(shí)，例題和推理規(guī)則
第三節(jié)  網(wǎng)與命題邏輯
第四節(jié)  網(wǎng)與一階謂詞邏輯
第五節(jié)  網(wǎng)與程式邏輯及職責(zé)邏輯
第六節(jié)  網(wǎng)與時(shí)態(tài)邏輯
第八章  信息流結(jié)構(gòu)
第一節(jié)  住處流圖
第二節(jié)  信息流圖的網(wǎng)表示
第三節(jié)  實(shí)例
第九章  網(wǎng)拓?fù)?br />第一節(jié)  傳統(tǒng)拓?fù)?br />第二節(jié)  網(wǎng)拓?fù)?br />第三節(jié)  網(wǎng)射
第四節(jié)  范疇
第十章  并發(fā)論
第十一章  應(yīng)用
第一節(jié)  選題
第二節(jié)  系統(tǒng)設(shè)計(jì)和分析
第三節(jié)  知識(shí)表示
附錄一  C.A.Petri為《Petri 網(wǎng)》一書(shū)所寫(xiě)序言原文摘要
附錄二  Petri 網(wǎng)術(shù)語(yǔ)
參考文獻(xiàn)