Petri網應用

《信息科學技術學術著作叢書》序
序
前言

第一章 引子：基本觀點
第二章 有向網與網系統(tǒng)
2.1 網模型的靜與動
2.1.1 有向網：兩類元素，兩種關系
2.1.2 變遷規(guī)則：資源分布，容量
2.1.3 網系統(tǒng)：異步并發(fā)
2.1.4 局限：普適和效率
2.1.5 實例
2.2 形式定義
2.3 網系統(tǒng)層次
2.4 形式異化

第三章 網系統(tǒng)的性質和通用分析方法
3.1 動態(tài)性質
3.1.1 基本現象
3.1.2 動態(tài)性質——從實例人手
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 結構分析

第四章 高級網系統(tǒng)
4.1 謂詞／變遷系統(tǒng)
4.1.1 概念及定義
4.1.2 謂詞／變遷系統(tǒng)之性質和分析方法
4.2 有色網系統(tǒng)
4.2.1 概述及定義
4.2.2 有色網性質及分析方法
4.3 自控網系統(tǒng)
4.3.1 概述及定義
4.3.2 自控網系統(tǒng)的性質與分析方法
4.3.3 自控網系統(tǒng)的不變量

第五章 電梯控制
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.3 N部電梯組裝
5.4 電梯系統(tǒng)的有色網表示
5.4.1 一部電梯的顏色
5.4.2 有色網上的四類有向弧

第六章 同步距離
6.1 什么是同步距離
6.2 同步距離定義及計算
6.3 同步距離應用
6.3.1 過程控制和系統(tǒng)規(guī)范
6.3.2 同步距離與公平

第七章 C_net
第八章 工作流
第九章 通用網論
第十章 四季與八卦
參考文獻
附錄