Petri網應用

計算機 袁崇義 366浏覽 查看評論
Petri網應用
  • 書名: Petri網應用
  • 作者: 袁崇義
  • ISBN: 9787030366375
  • 出版時間: 2013-02-01
  • 出版社: 科學出版社
  • 入庫時間: 1505841167
  • 更新時間: 1505841167
下載電子書

内容簡介

第一章引子:基本觀點
第二章有向網與網系統
2.1網模型的靜與動
2.1.1有向網:兩類元素,兩種關系
2.1.2變遷規則:資源分布,容量
2.1.3網系統:異步并發
2.1.4局限:普适和效率
2.1.5實例
2.2形式定義
2.3網系統層次
2.4形式異化
第三章網系統的性質和通用分析方法
3.1動态性質
3.1.1基本現象
3.1.2動态性質——從實例入手
3.1.3活性
3.1.4公平性
3.1.5有界性
3.2分析方法
3.2.1覆蓋樹和覆蓋圖
3.2.2進程和進程塊
3.3結構性質
3.3.1不變量
3.3.2語義不變量
3.3.3其他結構性質
3.3.4結構分析
第四章高級網系統
4.1謂詞/變遷系統
4.1.1概念及定義
4.1.2謂詞/變遷系統之性質和分析方法
4.2有色網系統
4.2.1概述及定義
4.2.2有色網性質及分析方法
4.3自控網系統
4.3.1概述及定義
4.3.2自控網系統的性質與分析方法
4.3.3自控網系統的不變量
第五章電梯控制
5.1一部電梯:變遷外延分析
5.1.1着眼點:一個樓層
5.1.2按鈕
5.1.3完整的樓層變遷
5.1.4補遺拾漏
5.2一部電梯組裝:庫所分析
5.2.1單層樓組裝:初裝
5.2.2庫所局部
5.2.3所有樓層組裝:性質分析
5.3N部電梯組裝
5.4電梯系統的有色網表示
5.4.1一部電梯的顔色
5.4.2有色網上的四類有向弧
第六章同步距離
6.1什麼是同步距離
6.2同步距離定義及計算
6.3同步距離應用
6.3.1過程控制和系統規範
6.3.2同步距離與公平
第七章C_net
7.1Petri網在編程上能做什麼
7.2C_net變遷
7.3操作表達式
7.4C_net形式定義
7.5讀寫沖突,并發及系統性質
第八章工作流
8.1業務和業務管理
8.2任務間的邏輯依賴
8.3同步與同步器
8.4工作流邏輯網
8.5工作流邏輯的性質
8.6暢通性證明:化簡規則
8.7工作流語義
8.8工作流管理
8.9管理職責與規則
8.9.1角色規則
8.9.2跳規則
8.10多案例處理與性能
8.11工作流的定義
第九章通用網論
9.1網上的兩種操作
9.2網邏輯
9.2.1事實
9.2.2從命題到事實
9.2.3用事實推理——作圖法
9.2.4事實向量和命題矩陣
9.2.5矩陣推理——代數法
9.3信息流網
9.3.1信息和條件
9.3.2箭頭函數——守恒與可逆
9.3.3P1和Q的網表示——如何實現箭頭函數
9.3.4一位噪聲通道
9.4網拓撲
9.4.1無向網上的拓撲結構
9.4.2有向網上的連續映射
9.5并發
9.6形式語用學
第十章四季與八卦
10.1八卦
10.2四季
10.3萬有律試用
10.3.1知識其實隻是共識
10.3.2源和洞
10.3.3源洞合一:ψ
10.3.4萬有律中的自由
10.3.5沒有設計師的偉大建築
10.4拾遺:八卦與陰陽魚
參考文獻
附錄
《Petri網原理》一書前言(節選)
《Petri網原理與應用》前言(節選)

前言

《Petri網應用》可作為計算機科學及相關專業的本科生和研究生教材,适合各領域對Petri網感興趣的科研人員、教師以及軟件開發人員學習和參考。《信息科學技術學術著作叢書》序

點擊進入本書相關文件下載頁
用戶發表評論
取消評論

表情

網友最新評論