本書是作者在從事Petri網理論課程教學的基礎上撰寫而成，主要介紹Petri網的基本原理和基本分析方法，以及這些原理和方法在對實際系統進行建模和分析中的套用，同時也包含了一部分作者自己的研究成果。主要內容包括：Petri網的基本概念、基本性質和基本分析方法，各種常見的Petri網的變型模型，通用網論中並發論和同步論的基本內容等。
基本介紹
- 作者：吳哲輝
- ISBN：9787111182788
- 頁數：312
- 定價：35.00元
- 出版社：機械工業出版社
- 出版時間：2006-4
- 裝幀：簡裝本
內容介紹,目錄,
內容介紹
Petri網是什麼？它是分散式系統的建模和分析工具。它特別便於描述系統中進程或部件的順序、並發、衝突以及同步等關係。作為一種系統模型，Petri網不僅可以刻畫系統的結構，而且可以描述系統的動態行為(如系統的狀態變化等)。Petri網既有直觀的圖形表示，又可以引入許多數學方法對其性質進行分析。對於複雜的系統，Petri網可以對其進行分層描述，逐步求精，便於同面向對象的思想方法相溝通。
本書可作為高等院校計算機專業、自動化專業的研究生或高年級本科生教材，也可供相關技術人員參考。
目錄
前言
作者簡價
第1章 網與網系統
1.1 網與子網
1.2 標識網與網系統
1.3 庫所/變遷系統與加權Petri 網
1.4 基本網系統與條件事件系統
1.5 並發與衝突
1.5.1 並發
1.5.2 衝突
1.5.3 一般Petri網中的並發與衝突
1.6 系統的Petri網模型
思考與練習(1)
參考文獻(1)
第2章 Petri網的動態性質
2.1 可達性、可逆性和可覆蓋性
2.2 有界性和安全性
2.3 活性
2.4 公平性
2.5 持續性
思考與練習(2)
參考文獻(2)
第3章 Petri網的分析方法
3.1 可達標識圖與可覆蓋性樹
3.2 關聯矩陣與狀態方程
3.3 變遷發生序列與Petri網語言
3.4 Petri網進程
思考與練習(3)
參考文獻(3)
第4章 Petri網的結構性質
4.1 結構有界性和守恆性
4.2 可重複性和協調性
4.3 S-不變數和T-不變數
4.4 可重複向量
4.5 死鎖與陷阱
4.6 結構公平性
4.7 結構活性和活性單調性
思考與練習(4)
參考文獻(4)
第5章 一些Petri網子類的動態性質分析和判定
5.1 標識S-圖
5.2 標識T-圖
5.3 標識自由選擇網
5.4 標識加權T-圖
5.5 含本徵二級活變遷的Petri網剖析
5.6 可達性等價於狀態方程可滿足性的Petri網子類
5.6.1 活的標識T-圖
5.6.2 行為等價於活的標識T-圖的網系統
5.6.3 活的加權T-系統
5.7 唯一可達向量網系統與狀態方程求解
5.7.1 唯一可達向量網系統及其狀態方程求解
5.7.2 把一般Petri 網轉化為唯一可達向量網系統
思考與練習(5)
參考文獻(5)
第6章 Petri網運算
6.1 插入
6.1.1 插入控制器
6.1.2 插入計數器
6.1.3 插入基本元素的補元素
6.2 刪除
6.3 替換
6.4 化簡
6.5 合成
6.5.1 共享合成
6.5.2 同步合成
6.6 分解
6.6.1 Petri網的公平分解
6.6.2 其他分解運算
思考與練習(6)
參考文獻(6)
第7章 高級Petri網
7.1 顏色Petri網
7.1.1 簡單的顏色Petri網
7.1.2 顏色Petri網的一般定義
7.2 謂詞/變遷網系統
7.2.1 簡單的謂詞/變遷網系統
7.2.2 謂詞/變遷網系統的一般定義
思考與練習(7)
參考文獻(7)
第8章 增廣Petri網
8.1 帶抑止弧的Petri網
8.2 系統的增廣Petri網模型舉例
8.2.1 邏輯電路和時序電路的增廣Petri模型
8.2.2 算術運算的增廣Petri網模型
8.3 其他類型的增廣Petri網
8.3.1 帶約束集的Petri網
8.3.2 含異或變遷的Petri網
8.3.3 變遷含優先數的Petri網
思考與練習(8)
參考文獻(8)
第9章 含時間因素的Petri網
9.1 時間Petri網
9.2 時延Petri網
9.3 求解肯定型工程問題的時延Petri網方法
9.3.1 肯定型工程問題的Petri網模型
9.3.2 根據網系統模型對肯定型工程問題進行分析
9.4 求解非肯定型工程問題的時間Petri 網方法
9.5 任務調度問題的時延Petri網方法
9.6 多媒體系統中媒體流間同步合成的時間Petri網分析方法
9.6.1 作為媒體流間同步模型的時間Petri網
9.6.2 作為媒體流的時間Petri 網的同步合成
9.6.3 同步變遷的同步層次判定
9.7 隨機Petri網
思考與練習(9)
參考文獻(9)
第10章 其他Petri網變形模型簡介
10.1 受控Petri網
10.2 自控網系統
10.3 時序Petri網
10.4 連續Petri網
10.5 模糊Petri網
思考與練習(10)
參考文獻(10)
第11章 並發論
11.1 並髮結構的基本定義
11.2 並髮結構的最簡性
11.3 並髮結構的相干性和自然非序
11.4 並髮結構的稠密性
11.5 並髮結構的拓撲學性質
11.6 並髮結構上的連續性質
參考文獻(11)
第12章 同步距離
12.1 同步距離概念的實際背景
12.2 Petri網中的同步距離定義
12.3 對同步距離定義進一步修改的建議
12.4 某些Petri網子類中的同步距離計算
12.4.1 標識S-圖中的同步距離計算
12.4.2 標識T-圖中的同步距離計算
參考文獻(12)
記號注釋
索引
作者簡價
第1章 網與網系統
1.1 網與子網
1.2 標識網與網系統
1.3 庫所/變遷系統與加權Petri 網
1.4 基本網系統與條件事件系統
1.5 並發與衝突
1.5.1 並發
1.5.2 衝突
1.5.3 一般Petri網中的並發與衝突
1.6 系統的Petri網模型
思考與練習(1)
參考文獻(1)
第2章 Petri網的動態性質
2.1 可達性、可逆性和可覆蓋性
2.2 有界性和安全性
2.3 活性
2.4 公平性
2.5 持續性
思考與練習(2)
參考文獻(2)
第3章 Petri網的分析方法
3.1 可達標識圖與可覆蓋性樹
3.2 關聯矩陣與狀態方程
3.3 變遷發生序列與Petri網語言
3.4 Petri網進程
思考與練習(3)
參考文獻(3)
第4章 Petri網的結構性質
4.1 結構有界性和守恆性
4.2 可重複性和協調性
4.3 S-不變數和T-不變數
4.4 可重複向量
4.5 死鎖與陷阱
4.6 結構公平性
4.7 結構活性和活性單調性
思考與練習(4)
參考文獻(4)
第5章 一些Petri網子類的動態性質分析和判定
5.1 標識S-圖
5.2 標識T-圖
5.3 標識自由選擇網
5.4 標識加權T-圖
5.5 含本徵二級活變遷的Petri網剖析
5.6 可達性等價於狀態方程可滿足性的Petri網子類
5.6.1 活的標識T-圖
5.6.2 行為等價於活的標識T-圖的網系統
5.6.3 活的加權T-系統
5.7 唯一可達向量網系統與狀態方程求解
5.7.1 唯一可達向量網系統及其狀態方程求解
5.7.2 把一般Petri 網轉化為唯一可達向量網系統
思考與練習(5)
參考文獻(5)
第6章 Petri網運算
6.1 插入
6.1.1 插入控制器
6.1.2 插入計數器
6.1.3 插入基本元素的補元素
6.2 刪除
6.3 替換
6.4 化簡
6.5 合成
6.5.1 共享合成
6.5.2 同步合成
6.6 分解
6.6.1 Petri網的公平分解
6.6.2 其他分解運算
思考與練習(6)
參考文獻(6)
第7章 高級Petri網
7.1 顏色Petri網
7.1.1 簡單的顏色Petri網
7.1.2 顏色Petri網的一般定義
7.2 謂詞/變遷網系統
7.2.1 簡單的謂詞/變遷網系統
7.2.2 謂詞/變遷網系統的一般定義
思考與練習(7)
參考文獻(7)
第8章 增廣Petri網
8.1 帶抑止弧的Petri網
8.2 系統的增廣Petri網模型舉例
8.2.1 邏輯電路和時序電路的增廣Petri模型
8.2.2 算術運算的增廣Petri網模型
8.3 其他類型的增廣Petri網
8.3.1 帶約束集的Petri網
8.3.2 含異或變遷的Petri網
8.3.3 變遷含優先數的Petri網
思考與練習(8)
參考文獻(8)
第9章 含時間因素的Petri網
9.1 時間Petri網
9.2 時延Petri網
9.3 求解肯定型工程問題的時延Petri網方法
9.3.1 肯定型工程問題的Petri網模型
9.3.2 根據網系統模型對肯定型工程問題進行分析
9.4 求解非肯定型工程問題的時間Petri 網方法
9.5 任務調度問題的時延Petri網方法
9.6 多媒體系統中媒體流間同步合成的時間Petri網分析方法
9.6.1 作為媒體流間同步模型的時間Petri網
9.6.2 作為媒體流的時間Petri 網的同步合成
9.6.3 同步變遷的同步層次判定
9.7 隨機Petri網
思考與練習(9)
參考文獻(9)
第10章 其他Petri網變形模型簡介
10.1 受控Petri網
10.2 自控網系統
10.3 時序Petri網
10.4 連續Petri網
10.5 模糊Petri網
思考與練習(10)
參考文獻(10)
第11章 並發論
11.1 並髮結構的基本定義
11.2 並髮結構的最簡性
11.3 並髮結構的相干性和自然非序
11.4 並髮結構的稠密性
11.5 並髮結構的拓撲學性質
11.6 並髮結構上的連續性質
參考文獻(11)
第12章 同步距離
12.1 同步距離概念的實際背景
12.2 Petri網中的同步距離定義
12.3 對同步距離定義進一步修改的建議
12.4 某些Petri網子類中的同步距離計算
12.4.1 標識S-圖中的同步距離計算
12.4.2 標識T-圖中的同步距離計算
參考文獻(12)
記號注釋
索引
