Petri網(wǎng)導(dǎo)論

定　價：￥35.00

作　者：	吳哲輝
出版社：	機(jī)械工業(yè)出版社
叢編項：	重點(diǎn)大學(xué)計算機(jī)教材
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787111182788	出版時間：	2006-04-01	包裝：	平裝
開本：	16開	頁數(shù)：	312	字?jǐn)?shù)：

內(nèi)容簡介

　　Petri網(wǎng)是什么？它是分布式系統(tǒng)的建模和分析工具。它特別便于描述系統(tǒng)中進(jìn)程或部件的順序、并發(fā)、沖突以及同步等關(guān)系。作為一種系統(tǒng)模型，Petri網(wǎng)不僅可以刻畫系統(tǒng)的結(jié)構(gòu)，而且可以描述系統(tǒng)的動態(tài)行為（如系統(tǒng)的狀態(tài)變化等）。Petri網(wǎng)既有直觀的圖形表示，又可以引入許多數(shù)學(xué)方法對其性質(zhì)進(jìn)行分析。對于復(fù)雜的系統(tǒng)，Petri網(wǎng)可以對其進(jìn)行分層描述，逐步求精，便于同面向?qū)ο蟮乃枷敕椒ㄏ鄿贤?。　本書是作者在從事Petri網(wǎng)理論課程教學(xué)的基礎(chǔ)上撰寫而成，主要介紹Petri網(wǎng)的基本原理和基本分析方法，以及這些原理和方法在對實(shí)際系統(tǒng)進(jìn)行建模和分析中的應(yīng)用，同時也包含了一部分作者自己的研究成果。主要內(nèi)容包括：Petri網(wǎng)的基本概念、基本性質(zhì)和基本分析方法，各種常見的Petri網(wǎng)的變型模型，通用網(wǎng)論中并發(fā)論和同步論的基本內(nèi)容等。本書可作為高等院校計算機(jī)專業(yè)、自動化專業(yè)的研究生或高年級本科生教材，也可供相關(guān)技術(shù)人員參考。

作者簡介

　　吳哲輝，1941年3月生于廣東省連州市，1965年畢業(yè)于中山大學(xué)數(shù)學(xué)力學(xué)系。1981年1983年在美國芝加哥伊利諾伊大學(xué)作訪問學(xué)者，學(xué)習(xí)計算機(jī)科學(xué)理論，從那時起開始從事Petri網(wǎng)理論及應(yīng)用的研究工作?，F(xiàn)任山東科技大學(xué)教授、博士生導(dǎo)師，中國計算機(jī)學(xué)會Petri網(wǎng)專委會主任。從1987年開始，他主持承擔(dān)過關(guān)于Petri網(wǎng)理論和應(yīng)用研究的6項國家自然科學(xué)基金項目，在《中國科學(xué)》、《科學(xué)通報》、《計算機(jī)學(xué)報》、《軟件學(xué)報》、《Journal of The Franklin Institute》、《International Journal of Mathematics and Computer Science》等國仙外學(xué)術(shù)刊物發(fā)表學(xué)術(shù)論文100余篇，獲得過原國家教委、煤炭部和山東省的4項省部級科技獎。先后被評為國家級有突出貢獻(xiàn)的中青年專家、山東省專業(yè)技術(shù)拔尖人才、全國模范教師等。

圖書目錄

前言
作者簡價
第1章網(wǎng)與網(wǎng)系統(tǒng)
　1.1 網(wǎng)與子網(wǎng)
　1.2 標(biāo)識網(wǎng)與網(wǎng)系統(tǒng)
　1.3 庫所/變遷系統(tǒng)與加權(quán)Petri 網(wǎng)
　1.4 基本網(wǎng)系統(tǒng)與條件事件系統(tǒng)
　1.5 并發(fā)與沖突
　　1.5.1 并發(fā)
　　1.5.2 沖突
　　1.5.3 一般Petri網(wǎng)中的并發(fā)與沖突
　1.6 系統(tǒng)的Petri網(wǎng)模型
　思考與練習(xí)(1)
　參考文獻(xiàn)(1)
第2章 Petri網(wǎng)的動態(tài)性質(zhì)
　2.1 可達(dá)性、可逆性和可覆蓋性
　2.2 有界性和安全性
　2.3 活性
　2.4 公平性
　2.5 持續(xù)性
　思考與練習(xí)(2)
　參考文獻(xiàn)(2)
第3章 Petri網(wǎng)的分析方法
　3.1 可達(dá)標(biāo)識圖與可覆蓋性樹
　3.2 關(guān)聯(lián)矩陣與狀態(tài)方程
　3.3 變遷發(fā)生序列與Petri網(wǎng)語言
　3.4 Petri網(wǎng)進(jìn)程
　思考與練習(xí)(3)
　參考文獻(xiàn)(3)
第4章 Petri網(wǎng)的結(jié)構(gòu)性質(zhì)
　4.1 結(jié)構(gòu)有界性和守恒性
　4.2 可重復(fù)性和協(xié)調(diào)性
　4.3 S-不變量和T-不變量
　4.4 可重復(fù)向量
　4.5 死鎖與陷阱
　4.6 結(jié)構(gòu)公平性
　4.7 結(jié)構(gòu)活性和活性單調(diào)性
　思考與練習(xí)(4)
　參考文獻(xiàn)(4)
第5章一些Petri網(wǎng)子類的動態(tài)性質(zhì)分析和判定
　5.1 標(biāo)識S-圖
　5.2 標(biāo)識T-圖
　5.3 標(biāo)識自由選擇網(wǎng)
　5.4 標(biāo)識加權(quán)T-圖
　5.5 含本征二級活變遷的Petri網(wǎng)剖析
　5.6 可達(dá)性等價于狀態(tài)方程可滿足性的Petri網(wǎng)子類
　　5.6.1 活的標(biāo)識T-圖
　　5.6.2 行為等價于活的標(biāo)識T-圖的網(wǎng)系統(tǒng)
　　5.6.3 活的加權(quán)T-系統(tǒng)
　5.7 唯一可達(dá)向量網(wǎng)系統(tǒng)與狀態(tài)方程求解
　　5.7.1 唯一可達(dá)向量網(wǎng)系統(tǒng)及其狀態(tài)方程求解
　　5.7.2 把一般Petri 網(wǎng)轉(zhuǎn)化為唯一可達(dá)向量網(wǎng)系統(tǒng)
　思考與練習(xí)(5)
　參考文獻(xiàn)(5)
第6章 Petri網(wǎng)運(yùn)算
　6.1 插入
　　6.1.1 插入控制器
　　6.1.2 插入計數(shù)器
　　6.1.3 插入基本元素的補(bǔ)元素
　6.2 刪除
　6.3 替換
　6.4 化簡
　6.5 合成
　　6.5.1 共享合成
　　6.5.2 同步合成
　6.6 分解
　　6.6.1 Petri網(wǎng)的公平分解
　　6.6.2 其他分解運(yùn)算
　思考與練習(xí)(6)
　參考文獻(xiàn)(6)
第7章高級Petri網(wǎng)
　7.1 顏色Petri網(wǎng)
　　7.1.1 簡單的顏色Petri網(wǎng)
　　7.1.2 顏色Petri網(wǎng)的一般定義
　7.2 謂詞/變遷網(wǎng)系統(tǒng)
　　7.2.1 簡單的謂詞/變遷網(wǎng)系統(tǒng)
　　7.2.2 謂詞/變遷網(wǎng)系統(tǒng)的一般定義
　思考與練習(xí)(7)
　參考文獻(xiàn)(7)
第8章增廣Petri網(wǎng)
　8.1 帶抑止弧的Petri網(wǎng)
　8.2 系統(tǒng)的增廣Petri網(wǎng)模型舉例
　　8.2.1 邏輯電路和時序電路的增廣Petri模型
　　8.2.2 算術(shù)運(yùn)算的增廣Petri網(wǎng)模型
　8.3 其他類型的增廣Petri網(wǎng)
　　8.3.1 帶約束集的Petri網(wǎng)
　　8.3.2 含異或變遷的Petri網(wǎng)
　　8.3.3 變遷含優(yōu)先數(shù)的Petri網(wǎng)
　思考與練習(xí)(8)
　參考文獻(xiàn)(8)
第9章含時間因素的Petri網(wǎng)
　9.1 時間Petri網(wǎng)
　9.2 時延Petri網(wǎng)
　9.3 求解肯定型工程問題的時延Petri網(wǎng)方法
　　9.3.1 肯定型工程問題的Petri網(wǎng)模型
　　9.3.2 根據(jù)網(wǎng)系統(tǒng)模型對肯定型工程問題進(jìn)行分析
　9.4 求解非肯定型工程問題的時間Petri 網(wǎng)方法
　9.5 任務(wù)調(diào)度問題的時延Petri網(wǎng)方法
　9.6 多媒體系統(tǒng)中媒體流間同步合成的時間Petri網(wǎng)分析方法
　　9.6.1 作為媒體流間同步模型的時間Petri網(wǎng)
　　9.6.2 作為媒體流的時間Petri 網(wǎng)的同步合成
　　9.6.3 同步變遷的同步層次判定
　9.7 隨機(jī)Petri網(wǎng)
　思考與練習(xí)(9)
　參考文獻(xiàn)(9)
第10章其他Petri網(wǎng)變形模型簡介
　10.1 受控Petri網(wǎng)
　10.2 自控網(wǎng)系統(tǒng)
　10.3 時序Petri網(wǎng)
　10.4 連續(xù)Petri網(wǎng)
　10.5 模糊Petri網(wǎng)
　思考與練習(xí)(10)
　參考文獻(xiàn)(10)
第11章并發(fā)論
　11.1 并發(fā)結(jié)構(gòu)的基本定義
　11.2 并發(fā)結(jié)構(gòu)的最簡性
　11.3 并發(fā)結(jié)構(gòu)的相干性和自然非序
　11.4 并發(fā)結(jié)構(gòu)的稠密性
　11.5 并發(fā)結(jié)構(gòu)的拓?fù)鋵W(xué)性質(zhì)
　11.6 并發(fā)結(jié)構(gòu)上的連續(xù)性質(zhì)
　參考文獻(xiàn)(11)
第12章同步距離
　12.1 同步距離概念的實(shí)際背景
　12.2 Petri網(wǎng)中的同步距離定義
　12.3 對同步距離定義進(jìn)一步修改的建議
　12.4 某些Petri網(wǎng)子類中的同步距離計算
　　12.4.1 標(biāo)識S-圖中的同步距離計算
　　12.4.2 標(biāo)識T-圖中的同步距離計算
　參考文獻(xiàn)(12)
　記號注釋
索引