国产v亚洲v天堂无码久久久,久久丫免费无码一区二区,午夜福利a∨无码一区二区

內(nèi)容簡介

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

作者簡介

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

圖書目錄

前言
作者簡價
第1章網(wǎng)與網(wǎng)系統(tǒng)
　1.1 網(wǎng)與子網(wǎng)
　1.2 標識網(wǎng)與網(wǎng)系統(tǒng)
　1.3 庫所/變遷系統(tǒng)與加權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)模型
　思考與練習(1)
　參考文獻(1)
第2章 Petri網(wǎng)的動態(tài)性質(zhì)
　2.1 可達性、可逆性和可覆蓋性
　2.2 有界性和安全性
　2.3 活性
　2.4 公平性
　2.5 持續(xù)性
　思考與練習(2)
　參考文獻(2)
第3章 Petri網(wǎng)的分析方法
　3.1 可達標識圖與可覆蓋性樹
　3.2 關聯(lián)矩陣與狀態(tài)方程
　3.3 變遷發(fā)生序列與Petri網(wǎng)語言
　3.4 Petri網(wǎng)進程
　思考與練習(3)
　參考文獻(3)
第4章 Petri網(wǎng)的結(jié)構性質(zhì)
　4.1 結(jié)構有界性和守恒性
　4.2 可重復性和協(xié)調(diào)性
　4.3 S-不變量和T-不變量
　4.4 可重復向量
　4.5 死鎖與陷阱
　4.6 結(jié)構公平性
　4.7 結(jié)構活性和活性單調(diào)性
　思考與練習(4)
　參考文獻(4)
第5章一些Petri網(wǎng)子類的動態(tài)性質(zhì)分析和判定
　5.1 標識S-圖
　5.2 標識T-圖
　5.3 標識自由選擇網(wǎng)
　5.4 標識加權T-圖
　5.5 含本征二級活變遷的Petri網(wǎng)剖析
　5.6 可達性等價于狀態(tài)方程可滿足性的Petri網(wǎng)子類
　　5.6.1 活的標識T-圖
　　5.6.2 行為等價于活的標識T-圖的網(wǎng)系統(tǒng)
　　5.6.3 活的加權T-系統(tǒng)
　5.7 唯一可達向量網(wǎng)系統(tǒng)與狀態(tài)方程求解
　　5.7.1 唯一可達向量網(wǎng)系統(tǒng)及其狀態(tài)方程求解
　　5.7.2 把一般Petri 網(wǎng)轉(zhuǎn)化為唯一可達向量網(wǎng)系統(tǒng)
　思考與練習(5)
　參考文獻(5)
第6章 Petri網(wǎng)運算
　6.1 插入
　　6.1.1 插入控制器
　　6.1.2 插入計數(shù)器
　　6.1.3 插入基本元素的補元素
　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 其他分解運算
　思考與練習(6)
　參考文獻(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)的一般定義
　思考與練習(7)
　參考文獻(7)
第8章增廣Petri網(wǎng)
　8.1 帶抑止弧的Petri網(wǎng)
　8.2 系統(tǒng)的增廣Petri網(wǎng)模型舉例
　　8.2.1 邏輯電路和時序電路的增廣Petri模型
　　8.2.2 算術運算的增廣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)
　思考與練習(8)
　參考文獻(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)模型對肯定型工程問題進行分析
　9.4 求解非肯定型工程問題的時間Petri 網(wǎng)方法
　9.5 任務調(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 隨機Petri網(wǎng)
　思考與練習(9)
　參考文獻(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)
　思考與練習(10)
　參考文獻(10)
第11章并發(fā)論
　11.1 并發(fā)結(jié)構的基本定義
　11.2 并發(fā)結(jié)構的最簡性
　11.3 并發(fā)結(jié)構的相干性和自然非序
　11.4 并發(fā)結(jié)構的稠密性
　11.5 并發(fā)結(jié)構的拓撲學性質(zhì)
　11.6 并發(fā)結(jié)構上的連續(xù)性質(zhì)
　參考文獻(11)
第12章同步距離
　12.1 同步距離概念的實際背景
　12.2 Petri網(wǎng)中的同步距離定義
　12.3 對同步距離定義進一步修改的建議
　12.4 某些Petri網(wǎng)子類中的同步距離計算
　　12.4.1 標識S-圖中的同步距離計算
　　12.4.2 標識T-圖中的同步距離計算
　參考文獻(12)
　記號注釋
索引