掃一掃
關(guān)注中圖網(wǎng)
官方微博
>
>>
Petri網(wǎng)原理與應(yīng)用
本類五星書更多>
-
>
全國計算機(jī)等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用
-
>
決戰(zhàn)行測5000題(言語理解與表達(dá))
-
>
軟件性能測試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強(qiáng)教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
Petri網(wǎng)原理與應(yīng)用 版權(quán)信息
- ISBN：7121009706
- 條形碼：9787121009709 ; 978-7-121-00970-9
- 裝幀：簡裝本
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
Petri網(wǎng)原理與應(yīng)用 本書特色
Petri網(wǎng)是一種適合于描述異步并發(fā)現(xiàn)象的系統(tǒng)模型，它既有嚴(yán)格的數(shù)學(xué)定義，又有直觀的圖形表示，既有豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù)，又為計算機(jī)科學(xué)提供堅實(shí)的概念基礎(chǔ)。 本書是對《Petri網(wǎng)原理》一書的修訂，增加了大量的Petri網(wǎng)應(yīng)用的內(nèi)容。電梯控制系統(tǒng)是一個完整的應(yīng)用實(shí)例，充分展示了Petri網(wǎng)描述異步并發(fā)特征的作用。Petri網(wǎng)與計算機(jī)程序系統(tǒng)的差異阻礙了Petri網(wǎng)在計算機(jī)科學(xué)中的應(yīng)用。針對這一差異引入的變量類狀態(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，工作流模型。堅實(shí)的理論基礎(chǔ)是Petri網(wǎng)區(qū)別于其他系統(tǒng)模型的主要特征。 本書以理論為指導(dǎo)，以應(yīng)用為目標(biāo)，包含大量實(shí)例和圖示，適合用作計算機(jī)及通信、自控等專業(yè)高年級學(xué)生和研究生教材和自學(xué)參考書，也可供教師、科研人員及工程技術(shù)人員參考。
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ī)科學(xué)提供堅實(shí)的概念基礎(chǔ)。
本書是對《Petri網(wǎng)原理》一書的修訂，增加了大量的Petri網(wǎng)應(yīng)用的內(nèi)容。電梯控制系統(tǒng)是一個完整的應(yīng)用實(shí)例，充分展示了Petri網(wǎng)描述異步并發(fā)特征的作用。Petri網(wǎng)與計算機(jī)程序系統(tǒng)的差異阻礙了Petri網(wǎng)在計算機(jī)科學(xué)中的應(yīng)用。針對這一差異引入的變量類狀態(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，工作流模型。堅實(shí)的理論基礎(chǔ)是Petri網(wǎng)區(qū)別于其他系統(tǒng)模型的主要特征。
本書以理論為指導(dǎo)，以應(yīng)用為目標(biāo)，包含大量實(shí)例和圖示，適合用作計算機(jī)及通信、自控等專業(yè)高年級學(xué)生和研究生教材和自學(xué)參考書，也可供教師、科研人員及工程技術(shù)人員參考。
Petri網(wǎng)原理與應(yīng)用 目錄
第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)識集
4.2 出現(xiàn)序列和變遷序列
4.3 進(jìn)程
4.4 不變量
第5章 高級網(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 同步距離的計算
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ù)?br> 第11章 并發(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)
第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)識集
4.2 出現(xiàn)序列和變遷序列
4.3 進(jìn)程
4.4 不變量
第5章 高級網(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 同步距離的計算
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ù)?br> 第11章 并發(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)
展開全部
書友推薦
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
龍榆生：詞曲概論/大家小書
- >
回憶愛瑪儂
- >
苦雨齋序跋文-周作人自編集
- >
我從未如此眷戀人間
- >
唐代進(jìn)士錄
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
推拿
本類暢銷
