系統(tǒng)工程Petri網(wǎng)：建模、驗證與應(yīng)用指南

第一部分 Petri網(wǎng)——基本概念
第1章 引言
第2章 Petri網(wǎng)的實質(zhì)特征
2.1 局部確定性和并發(fā)
2.2 圖形表示和代數(shù)表示
2.3 并發(fā)、沖突和混惑
2.4 細化和組合
2.5 網(wǎng)射
第3章 直觀模型
3.1 常量弧網(wǎng)
3.2 庫所／變遷網(wǎng)
3.3 有色網(wǎng)
3.4 折疊
第4章 基本定義
4.1 庫所／變遷網(wǎng)的形式化定義
4.2 常量弧網(wǎng)的形式化定義
4.3 有色網(wǎng)的形式化定義
第5章 性質(zhì)
5.1 基本性質(zhì)
5.2 分析方法介紹
第6章 本書總覽
第二部分 建 模
第7章 引言
第8章 實例解說建模和分析技術(shù)
8.1 網(wǎng)、優(yōu)化和抽象
8.2 庫所／變遷網(wǎng)和資源管理
8.3 有色網(wǎng)、抽象和展開
第9章 技術(shù)
9.1 構(gòu)建塊
9.2 結(jié)合網(wǎng)
9.3 高級網(wǎng)
9.4 分解網(wǎng)
9.5 小結(jié)
第10章 方法
10.1 面向狀態(tài)建模
10.2 面向事件的建模
10.3 面向?qū)ο蠼?br /> 第11章實例研究
11.1 面向狀態(tài)的方法
11.2 面向事件的方法
11.3 面向?qū)ο蠓椒?br /> 第12章 小結(jié)
第三部分 驗 證
第13章 引言：驗證所涉及的問題
13.1 網(wǎng)的分類
13.2 性質(zhì)
13.3 方法分類
13.4 驗證過程
13.5 概述
第14章 基于狀態(tài)空間的方法與模型檢驗
14.1 性質(zhì)、時態(tài)邏輯及公平性
14.2 On—the—nv方法
14.3 基于偏序的方法
14.4 符號化和參數(shù)化方法
14.5 實現(xiàn)問題
14.6 綜合及一般性總結(jié)評注
第15章 結(jié)構(gòu)方法
15.1 網(wǎng)系統(tǒng)歸約
15.2 線性代數(shù)技術(shù)
15.3 虹吸和陷阱
15.4 網(wǎng)子類的分析
15.5 不變量和有色Petri網(wǎng)的歸約
第16章 演繹與基于進程代數(shù)的方法
16.1 代數(shù)網(wǎng)的重寫語義
16.2 斷言推理
16.3 授權(quán)邏輯
16.4 線性邏輯和Petri網(wǎng)
16.5 利用進程代數(shù)驗證Petri網(wǎng)模型
第17章 小結(jié)
第四部分 確認和執(zhí)行
第18章 引言
第19章 系統(tǒng)工程和確認
19.1 軟件生命周期和確認
19.2 確認
19.3 一種方法——原型建立
19.4 工具
第20章 網(wǎng)的運行
20.1 集中控制
20.2 將控制分發(fā)給庫所
20.3 將控制分發(fā)給邊
20.4 多線程和同步
20.5 異步
20.6 小結(jié)
第21章 代碼生成
21.1 對于代碼生成的Petri網(wǎng)方法
21.2 Petri網(wǎng)的劃分算法
21.3 Petri網(wǎng)中代碼生成的一些方面
21.4 高級網(wǎng)中的代碼生成
21.5 小結(jié)
第22章 小結(jié)
第五部分 應(yīng)用領(lǐng)域
第23章 引言
23.1 工作中應(yīng)用Petri網(wǎng)
23.2 應(yīng)用領(lǐng)域
第24章 柔性制造系統(tǒng)
24.1 領(lǐng)域概覽
24.2 在FMS中使用Petri網(wǎng)
24.3 設(shè)計方法
24.4 小結(jié)
第25章 工作流系統(tǒng)
25.1 領(lǐng)域概述
25.2 動機
25.3 設(shè)計方法學(xué)
25.4 工作流分析
25.5 實例學(xué)習(xí)：Sagitta-2000案例
25.6 小結(jié)
第26章 電信系統(tǒng)
26.1 領(lǐng)域概述
26.2 動機
26.3 設(shè)計方法學(xué)
26.4 分析
26.5 小結(jié)
第27章 小結(jié)
27.1 公共建模問題
27.2 共享的分析結(jié)果
術(shù)語表
參考文獻