Petri網(wǎng)原理與應(yīng)用

內(nèi)容概要

　　Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型，它既有嚴(yán)格的數(shù)學(xué)定義，又有直觀的圖形表示，既有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù)，又為計(jì)算機(jī)科學(xué)提供堅(jiān)實(shí)的概念基礎(chǔ)?！　”緯菍?duì)《Petri網(wǎng)原理》一書的修訂，增加了大量的Petri網(wǎng)應(yīng)用的內(nèi)容。電梯控制系統(tǒng)是一個(gè)完整的應(yīng)用實(shí)例，充分展示了Petri網(wǎng)描述異步并發(fā)特征的作用。Petri網(wǎng)與計(jì)算機(jī)程序系統(tǒng)的差異阻礙了Petri網(wǎng)在計(jì)算機(jī)科學(xué)中的應(yīng)用。針對(duì)這一差異引入的變量類狀態(tài)元素和相應(yīng)的變遷規(guī)則，使擴(kuò)充后的Petri網(wǎng)成為系統(tǒng)規(guī)范和程序系統(tǒng)語義描述的工具。這一工具與同步論的結(jié)合，在工作流應(yīng)用和工作流工具開發(fā)中已有很好的應(yīng)用。　　本書是作者多年講授和研究Petri網(wǎng)的結(jié)果。全書分為四篇：入門篇介紹Petri網(wǎng)基本觀點(diǎn)及基本定義；系統(tǒng)篇介紹三種網(wǎng)系統(tǒng)，并分別定義事件間的基本現(xiàn)象（順序、并發(fā)、沖突和沖撞等），給出網(wǎng)系統(tǒng)的分析技術(shù)和層次化技術(shù)；理論篇包括條件/事件系統(tǒng)，同步論，網(wǎng)邏輯，信息流結(jié)構(gòu)，網(wǎng)拓?fù)浜筒l(fā)論；應(yīng)用篇包括電梯控制系統(tǒng)，C_net，工作流模型。堅(jiān)實(shí)的理論基礎(chǔ)是Petri網(wǎng)區(qū)別于其他系統(tǒng)模型的主要特征?！　”緯岳碚摓橹笇?dǎo)，以應(yīng)用為目標(biāo)，包含大量實(shí)例和圖示，適合用作計(jì)算機(jī)及通信、自控等專業(yè)高年級(jí)學(xué)生和研究生教材和自學(xué)參考書，也可供教師、科研人員及工程技術(shù)人員參考。

書籍目錄

第1篇　入門篇第1章 引子；基本觀點(diǎn)第2章 網(wǎng)和網(wǎng)系統(tǒng)2.1 實(shí)例2.2 基本定義第2篇 系統(tǒng)篇第3章 基本網(wǎng)系統(tǒng)3.1 定義和變遷規(guī)則3.2 事件間的基本關(guān)系3.3 S-補(bǔ)和T-補(bǔ)3.4 T-圖、S-圖和活性定理3.5 應(yīng)用第4章 庫所/變遷系統(tǒng)4.1 可達(dá)標(biāo)識(shí)集4.2 出現(xiàn)序列和變遷序列4.3 進(jìn)程4.4 不變量第5章 高級(jí)網(wǎng)系統(tǒng)5.1 謂詞/變遷系統(tǒng)5.2 有色網(wǎng)系統(tǒng)5.3 自控網(wǎng)系統(tǒng)第3篇 理論篇第6章 條件/事件系統(tǒng)6.1 定義和完全可達(dá)關(guān)系6.2 公理和基本現(xiàn)象6.3 完備化第7章 同步論7.1 同步的各種形式7.2 同步距離7.3 同步距離與系統(tǒng)行為7.4 同步距離的計(jì)算7.5 同步距離的應(yīng)用第8章 網(wǎng)邏輯8.1 變遷形式分類——網(wǎng)邏輯結(jié)構(gòu)8.2 事實(shí)、命題和推理規(guī)則8.3 網(wǎng)與命題邏輯8.4 網(wǎng)與一階謂詞邏輯8.5 網(wǎng)與程式邏輯及職責(zé)邏輯第9章 信息流結(jié)構(gòu)……第10章 網(wǎng)拓?fù)涞?1章 并發(fā)論第4篇 應(yīng)用篇第12章 電梯控制系統(tǒng)第13章 C-net第14章 工作流模型附錄A 原《Petri網(wǎng)》一書序言節(jié)選附錄B Petri網(wǎng)術(shù)語附錄C 電梯控制系統(tǒng)UNITY程序參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    Petri網(wǎng)原理與應(yīng)用 PDF格式下載

---