99久久无码中文字幕久久无码,aukg

內容簡介

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

作者簡介

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

圖書目錄

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