PETRI網原理

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