《Petri網原理與套用》是2005年3月電子工業出版社出版的圖書。作者是袁崇義。
基本介紹
- 書名：Petri網原理與套用
- 作者：袁崇義
- ISBN：7121009706
- 頁數：285頁
- 出版社：電子工業出版社
- 出版時間：2005 年3月
- 開本：16開
- 叢書名：高等學校規劃教材
內容簡介,目錄,
內容簡介
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 工作流管理邏輯
