中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
Petri網原理與應用 版權信息
- ISBN：7121009706
- 條形碼：9787121009709 ; 978-7-121-00970-9
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
Petri網原理與應用 本書特色
Petri網是一種適合于描述異步并發現象的系統模型，它既有嚴格的數學定義，又有直觀的圖形表示，既有豐富的系統描述手段和系統行為分析技術，又為計算機科學提供堅實的概念基礎。 本書是對《Petri網原理》一書的修訂，增加了大量的Petri網應用的內容。電梯控制系統是一個完整的應用實例，充分展示了Petri網描述異步并發特征的作用。Petri網與計算機程序系統的差異阻礙了Petri網在計算機科學中的應用。針對這一差異引入的變量類狀態元素和相應的變遷規則，使擴充后的Petri網成為系統規范和程序系統語義描述的工具。這一工具與同步論的結合，在工作流應用和工作流工具開發中已有很好的應用。 本書是作者多年講授和研究Petri網的結果。全書分為四篇：入門篇介紹Petri網基本觀點及基本定義；系統篇介紹三種網系統，并分別定義事件間的基本現象（順序、并發、沖突和沖撞等），給出網系統的分析技術和層次化技術；理論篇包括條件/事件系統，同步論，網邏輯，信息流結構，網拓撲和并發論；應用篇包括電梯控制系統，C_net，工作流模型。堅實的理論基礎是Petri網區別于其他系統模型的主要特征。 本書以理論為指導，以應用為目標，包含大量實例和圖示，適合用作計算機及通信、自控等專業高年級學生和研究生教材和自學參考書，也可供教師、科研人員及工程技術人員參考。
Petri網原理與應用 內容簡介
Petri網是一種適合于描述異步并發現象的系統模型，它既有嚴格的數學定義，又有直觀的圖形表示，既有豐富的系統描述手段和系統行為分析技術，又為計算機科學提供堅實的概念基礎。
本書是對《Petri網原理》一書的修訂，增加了大量的Petri網應用的內容。電梯控制系統是一個完整的應用實例，充分展示了Petri網描述異步并發特征的作用。Petri網與計算機程序系統的差異阻礙了Petri網在計算機科學中的應用。針對這一差異引入的變量類狀態元素和相應的變遷規則，使擴充后的Petri網成為系統規范和程序系統語義描述的工具。這一工具與同步論的結合，在工作流應用和工作流工具開發中已有很好的應用。
本書是作者多年講授和研究Petri網的結果。全書分為四篇：入門篇介紹Petri網基本觀點及基本定義；系統篇介紹三種網系統，并分別定義事件間的基本現象（順序、并發、沖突和沖撞等），給出網系統的分析技術和層次化技術；理論篇包括條件/事件系統，同步論，網邏輯，信息流結構，網拓撲和并發論；應用篇包括電梯控制系統，C_net，工作流模型。堅實的理論基礎是Petri網區別于其他系統模型的主要特征。
本書以理論為指導，以應用為目標，包含大量實例和圖示，適合用作計算機及通信、自控等專業高年級學生和研究生教材和自學參考書，也可供教師、科研人員及工程技術人員參考。
Petri網原理與應用 目錄
第1篇 入門篇
第1章 引子；基本觀點
第2章 網和網系統
2.1 實例
2.2 基本定義
第2篇 系統篇
第3章 基本網系統
3.1 定義和變遷規則
3.2 事件間的基本關系
3.3 S-補和T-補
3.4 T-圖、S-圖和活性定理
3.5 應用
第4章 庫所/變遷系統
4.1 可達標識集
4.2 出現序列和變遷序列
4.3 進程
4.4 不變量
第5章 高級網系統
5.1 謂詞/變遷系統
5.2 有色網系統
5.3 自控網系統
第3篇 理論篇
第6章 條件/事件系統
6.1 定義和完全可達關系
6.2 公理和基本現象
6.3 完備化
第7章 同步論
7.1 同步的各種形式
7.2 同步距離
7.3 同步距離與系統行為
7.4 同步距離的計算
7.5 同步距離的應用
第8章 網邏輯
8.1 變遷形式分類——網邏輯結構
8.2 事實、命題和推理規則
8.3 網與命題邏輯
8.4 網與一階謂詞邏輯
8.5 網與程式邏輯及職責邏輯
第9章 信息流結構
……
第10章 網拓撲
第11章 并發論
第4篇 應用篇
第12章 電梯控制系統
第13章 C-net
第14章 工作流模型
附錄A 原《Petri網》一書序言節選
附錄B Petri網術語
附錄C 電梯控制系統UNITY程序
參考文獻
第1章 引子；基本觀點
第2章 網和網系統
2.1 實例
2.2 基本定義
第2篇 系統篇
第3章 基本網系統
3.1 定義和變遷規則
3.2 事件間的基本關系
3.3 S-補和T-補
3.4 T-圖、S-圖和活性定理
3.5 應用
第4章 庫所/變遷系統
4.1 可達標識集
4.2 出現序列和變遷序列
4.3 進程
4.4 不變量
第5章 高級網系統
5.1 謂詞/變遷系統
5.2 有色網系統
5.3 自控網系統
第3篇 理論篇
第6章 條件/事件系統
6.1 定義和完全可達關系
6.2 公理和基本現象
6.3 完備化
第7章 同步論
7.1 同步的各種形式
7.2 同步距離
7.3 同步距離與系統行為
7.4 同步距離的計算
7.5 同步距離的應用
第8章 網邏輯
8.1 變遷形式分類——網邏輯結構
8.2 事實、命題和推理規則
8.3 網與命題邏輯
8.4 網與一階謂詞邏輯
8.5 網與程式邏輯及職責邏輯
第9章 信息流結構
……
第10章 網拓撲
第11章 并發論
第4篇 應用篇
第12章 電梯控制系統
第13章 C-net
第14章 工作流模型
附錄A 原《Petri網》一書序言節選
附錄B Petri網術語
附錄C 電梯控制系統UNITY程序
參考文獻
展開全部
書友推薦
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
二體千字文
- >
史學評論
- >
羅曼·羅蘭讀書隨筆-精裝
- >
山海經
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
姑媽的寶刀
- >
回憶愛瑪儂
本類暢銷
