Petri網(wǎng)應(yīng)用

《信息科學技術(shù)學術(shù)著作叢書》序
序
前言

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

第三章 網(wǎng)系統(tǒng)的性質(zhì)和通用分析方法
3.1 動態(tài)性質(zhì)
3.1.1 基本現(xiàn)象
3.1.2 動態(tài)性質(zhì)——從實例人手
3.1.3 活性
3.1.4 公平性
3.1.5 有界性
3.2 分析方法
3.2.1 覆蓋樹和覆蓋圖
3.2.2 進程和進程塊
3.3 結(jié)構(gòu)性質(zhì)
3.3.1 不變量
3.3.2 語義不變量
3.3.3 其他結(jié)構(gòu)性質(zhì)
3.3.4 結(jié)構(gòu)分析

第四章 高級網(wǎng)系統(tǒng)
4.1 謂詞／變遷系統(tǒng)
4.1.1 概念及定義
4.1.2 謂詞／變遷系統(tǒng)之性質(zhì)和分析方法
4.2 有色網(wǎng)系統(tǒng)
4.2.1 概述及定義
4.2.2 有色網(wǎng)性質(zhì)及分析方法
4.3 自控網(wǎng)系統(tǒng)
4.3.1 概述及定義
4.3.2 自控網(wǎng)系統(tǒng)的性質(zhì)與分析方法
4.3.3 自控網(wǎng)系統(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 所有樓層組裝：性質(zhì)分析
5.3 N部電梯組裝
5.4 電梯系統(tǒng)的有色網(wǎng)表示
5.4.1 一部電梯的顏色
5.4.2 有色網(wǎng)上的四類有向弧

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

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