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

定　價(jià)：￥35.00

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

購買這本書可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

前言
作者簡(jiǎn)價(jià)
第1章網(wǎng)與網(wǎng)系統(tǒng)
　1.1 網(wǎng)與子網(wǎng)
　1.2 標(biāo)識(shí)網(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)的動(dò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)識(shí)圖與可覆蓋性樹
　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)子類的動(dòng)態(tài)性質(zhì)分析和判定
　5.1 標(biāo)識(shí)S-圖
　5.2 標(biāo)識(shí)T-圖
　5.3 標(biāo)識(shí)自由選擇網(wǎng)
　5.4 標(biāo)識(shí)加權(quán)T-圖
　5.5 含本征二級(jí)活變遷的Petri網(wǎng)剖析
　5.6 可達(dá)性等價(jià)于狀態(tài)方程可滿足性的Petri網(wǎng)子類
　　5.6.1 活的標(biāo)識(shí)T-圖
　　5.6.2 行為等價(jià)于活的標(biāo)識(shí)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 插入計(jì)數(shù)器
　　6.1.3 插入基本元素的補(bǔ)元素
　6.2 刪除
　6.3 替換
　6.4 化簡(jiǎn)
　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章高級(jí)Petri網(wǎng)
　7.1 顏色Petri網(wǎng)
　　7.1.1 簡(jiǎn)單的顏色Petri網(wǎng)
　　7.1.2 顏色Petri網(wǎng)的一般定義
　7.2 謂詞/變遷網(wǎng)系統(tǒng)
　　7.2.1 簡(jiǎn)單的謂詞/變遷網(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 邏輯電路和時(shí)序電路的增廣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章含時(shí)間因素的Petri網(wǎng)
　9.1 時(shí)間Petri網(wǎng)
　9.2 時(shí)延Petri網(wǎng)
　9.3 求解肯定型工程問題的時(shí)延Petri網(wǎng)方法
　　9.3.1 肯定型工程問題的Petri網(wǎng)模型
　　9.3.2 根據(jù)網(wǎng)系統(tǒng)模型對(duì)肯定型工程問題進(jìn)行分析
　9.4 求解非肯定型工程問題的時(shí)間Petri 網(wǎng)方法
　9.5 任務(wù)調(diào)度問題的時(shí)延Petri網(wǎng)方法
　9.6 多媒體系統(tǒng)中媒體流間同步合成的時(shí)間Petri網(wǎng)分析方法
　　9.6.1 作為媒體流間同步模型的時(shí)間Petri網(wǎng)
　　9.6.2 作為媒體流的時(shí)間Petri 網(wǎng)的同步合成
　　9.6.3 同步變遷的同步層次判定
　9.7 隨機(jī)Petri網(wǎng)
　思考與練習(xí)(9)
　參考文獻(xiàn)(9)
第10章其他Petri網(wǎng)變形模型簡(jiǎn)介
　10.1 受控Petri網(wǎng)
　10.2 自控網(wǎng)系統(tǒng)
　10.3 時(shí)序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)的最簡(jiǎn)性
　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 對(duì)同步距離定義進(jìn)一步修改的建議
　12.4 某些Petri網(wǎng)子類中的同步距離計(jì)算
　　12.4.1 標(biāo)識(shí)S-圖中的同步距離計(jì)算
　　12.4.2 標(biāo)識(shí)T-圖中的同步距離計(jì)算
　參考文獻(xiàn)(12)
　記號(hào)注釋
索引