中文名: Petri網原理與應用
作者: 袁崇義
圖書分類: 網絡
資源格式: PDF
版本: 掃描版
出版社: 電子工業出版社
書號: 7121009706
發行時間: 2005年3月23日
地區: 大陸
語言: 簡體中文
簡介:

評論處1樓有網盤鏈接
內容介紹：
　　Petri網是一種適合於描述異步並發現象的系統模型，它既有嚴格的數學定義，又有直觀的圖形表示，既有豐富的系統描述手段和系統行為分析技術，又為計算機科學提供堅實的概念基礎。
　　 本書是對《Petri網原理》一書的修訂，增加了大量的Petri網應用的內容。電梯控制系統是一個完整的應用實例，充分展示了Petri網描述異步並發特征的作用。Petri網與計算機程序系統的差異阻礙了Petri網在計算機科學中的應用。針對這一差異引入的變量類狀態元素和相應的變遷規則，使擴充後的Petri網成為系統規范和程序系統語義描述的工具。這一工具與同步論的結合，在工作流應用和工作流工具開發中已有很好的應用。
　　 本書是作者多年講授和研究Petri網的結果。全書分為四篇：入門篇介紹Petri網基本觀點及基本定義；系統篇介紹三種網系統，並分別定義事件間的基本現象（順序、並發、沖突和沖撞等），給出網系統的分析技術和層次化技術；理論篇包括條件/事件系統，同步論，網邏輯，信息流結構，網拓撲和並發論；應用篇包括電梯控制系統，C_net，工作流模型。堅實的理論基礎是Petri網區別於其他系統模型的主要特征。
　　 本書以理論為指導，以應用為目標，包含大量實例和圖示，適合用作計算機及通信、自控等專業高年級學生和研究生教材和自學參考書，也可供教師、科研人員及工程技術人員參考。
內容截圖：



目錄:
第1篇 入門篇
第1章 引子：基本觀點
第2章 網和網系統
2．1 實例
2．1．1 生產流水線
2．1．2 救火隊
2．1．3 救火記錄
2．1．4 無固定容量的fifo棧
2．1．5 四季系統
2．1．6 不加解釋的系統
2．2 基本定義
2．2．1 網和網的圖形表示
2．2．2 網系統
2．2．3 網系統分類
2．2．4 系統性質
第2篇 系統篇
第3章 基本網系統
3．1 定義和變遷規則
3．2 事件間的基本關系
3．3 s_補和t_補
.3．4 t_圖、s_圖和活性定理
3．5 應用
3．5．1 哲學家就餐--共享資源的管理
3．5．2 並行編譯
3．5．3 容量不定的先進先出棧
3．5．4 錯在哪裡
第4章 庫所／變遷系統(p／t_系統)
4．1 可達標識集
4．1．1 定義和系統性質
4．1．2 覆蓋樹
4．1．3 覆蓋圖
4．2 出現序列和變遷序列
4．2．1 基本定義
4．2．2 原子行為及交叉語義
4．3 進程
4．3．1 出現網
4．3．2 進程的定義與應用
4．3．3 進程塊
4．4 不變量
4．4．1 關聯矩陣
4．4．2 s_不變量
4．4．3 t_不變量
4．4．4 其他結構性質
4．4．5 層次模擬和忽略細節
第5章 高級網系統
5．1 謂詞／變遷系統(pr／t_系統)
5．1．1 從庫所到謂詞
5．1．2 定義和變遷規則
5．1．3 謂詞／變遷系統的行為
5．2 有色網系統
5．3 自控網系統
5．3．1 定義和變遷規則
5．3．2 不變量
第3篇 理論篇
第6章 條件／事件系統(c／e_系統)
6．1 定義和完全可達關系
6．2 公理和基本現象
6．3 完備化
第7章 同步論
7．1 同步的各種形式
7．2 同步距離
7．2．1 s_元素作為觀察窗口
7．2．2 同步距離的定義和性質
7．3 同步距離與系統行為
7．3．1 基本集合與同步結構
7．3．2 加權同步距離
7．4 同步距離的計算
7．5 同步距離的應用
第8章 網邏輯
8．1 變遷形式分類--網邏輯結構
8．2 事實、命題和推理規則
8．3 網與命題邏輯
8．4 網與一階謂詞邏輯
8．5 網與程式邏輯及職責邏輯
8．6 網與時態邏輯
第9章 信息流結構
9．1 信息流圖
9．2 信息流圖的網表示
9．3 實例
第10章 網拓撲
10．1 傳統拓撲
10．2 網拓撲
10．3 網射
10．4 范疇
第11章 並發論
第4篇 應用篇
第12章 電梯控制系統
12．1 電梯問題
12．1．1 用戶需求
12．1．2 需求分析
12．2 系統設計
12．2．1 變遷
12．2．2 變遷的外延--狀態元素
12．2．3 按鈕解釋
12．2．4 變遷u_stop(i)
12．2．5 按鈕變遷和變遷u_close(i)
12．2．6 改變方向的變遷u_d(i)
12．3 系統組裝
12．4 正確性分析
12．5 有色網模型
12．5．1 為什麼節點多
12．5．2 庫所組合有色網
12．5．3 電梯系統的有色網模型
12．6 小結
第13章 c_net
13．1 s_元和v_元
13．2 變遷狀態和v_元外延
13．3 變遷規則
13．4 c_net的形式化定義
13．5 實例
13．6 讀寫沖突及系統性質
13．7 漢諾塔問題
第14章 工作流模型
14．1 形式化方法
14．2 aalst的wf_net
14．3 工作流和工作流管理系統
14．4 工作流邏輯網
14．5 化簡規則
14．6 工作流語義
14．7 工作流引擎
14．7．1 工作流管理邏輯
14．7．2 引擎核
14．8 角色的層次結構
14．9 多案例處理和性能
附錄a 原《petri網》一書序言節選(附譯文)
附錄b petri網術語
附錄c 電梯控制系統unity程序
參考文獻