《系統工程Petri網》是2005年電子工業出版社出版的圖書，作者是吉奧特。
基本介紹
- 中文名：系統工程Petri網
- 作者：吉奧特
- 出版社：電子工業出版社
- 出版時間：2005年6月
- 頁數：447 頁
- 定價：53.0
- 裝幀：平裝
- ISBN：9787121007811
- 副標題：建模、驗證與套用指南
內容簡介,目錄,
內容簡介
越來越大、越來越複雜的系統，使得套用在硬體和軟體的規範與驗證中的形式化方法越來越重要。本書旨在通過Petri網的形式化過程來闡述形式化方法中的相關進展。書中採用了許多實例，它們來源於不同的套用領域，例如柔性製造系統、工作流管理系統和電信系統。本書的內容涵蓋了一個系統在設計和實現的整個生命周期中的幾個主要階段，即規範、用於證明的模型驗證技術、性質分析、代碼生成和模型的執行。書中對這些技術及其支持工具進行了詳細的討論，並且分析了在實際套用中可能遇到的問題。
目錄
第一部分 Petri網——基本概念
第1章 引言
第2章 Petri網的實質特徵
2.1 局部確定性和並發
2.2 圖形表示和代數表示
2.3 並發、衝突和混惑
2.4 細化和組合
2.5 網射
第3章 直觀模型
3.1 常量弧網
3.2 庫所/變遷網
3.3 有色網
3.4 摺疊
第4章 基本定義
4.1 庫所/變遷網的形式化定義
4.2 常量弧網的形式化定義
4.3 有色網的形式化定義
第5章 性質
5.1 基本性質
5.2 分析方法介紹
第6章 本書總覽
第二部分 建 模
第7章 引言
第8章 實例解說建模和分析技術
8.1 網、最佳化和抽象
8.2 庫所/變遷網和資源管理
8.3 有色網、抽象和展開
第9章 技術
9.1 構建塊
9.2 結合網
9.3 高級網
9.4 分解網
9.5 小結
第10章 方法
10.1 面向狀態建模
10.2 面向事件的建模
10.3 面向對象建模
第11章實例研究
11.1 面向狀態的方法
11.2 面向事件的方法
11.3 面向對象方法
第12章 小結
第三部分 驗 證
第13章 引言：驗證所涉及的問題
13.1 網的分類
13.2 性質
13.3 方法分類
13.4 驗證過程
13.5 概述
第14章 基於狀態空間的方法與模型檢驗
14.1 性質、時態邏輯及公平性
14.2 On—the—nv方法
14.3 基於偏序的方法
14.4 符號化和參數化方法
14.5 實現問題
14.6 綜合及一般性總結評註
第15章 結構方法
15.1 網系統歸約
15.2 線性代數技術
15.3 虹吸和陷阱
15.4 網子類的分析
15.5 不變數和有色Petri網的歸約
第16章 演繹與基於進程代數的方法
16.1 代數網的重寫語義
16.2 斷言推理
16.3 授權邏輯
16.4 線性邏輯和Petri網
16.5 利用進程代數驗證Petri網模型
第17章 小結
第四部分 確認和執行
第18章 引言
第19章 系統工程和確認
19.1 軟體生命周期和確認
19.2 確認
19.3 一種方法——原型建立
19.4 工具
第20章 網的運行
20.1 集中控制
20.2 將控制分發給庫所
20.3 將控制分發給邊
20.4 多執行緒和同步
20.5 異步
20.6 小結
第21章 代碼生成
21.1 對於代碼生成的Petri網方法
21.2 Petri網的劃分算法
21.3 Petri網中代碼生成的一些方面
21.4 高級網中的代碼生成
21.5 小結
第22章 小結
第五部分 套用領域
第23章 引言
23.1 工作中套用Petri網
23.2 套用領域
第24章 柔性製造系統
24.1 領域概覽
24.2 在FMS中使用Petri網
24.3 設計方法
24.4 小結
第25章 工作流系統
25.1 領域概述
25.2 動機
25.3 設計方法學
25.4 工作流分析
25.5 實例學習：Sagitta-2000案例
25.6 小結
第26章 電信系統
26.1 領域概述
26.2 動機
26.3 設計方法學
26.4 分析
26.5 小結
第27章 小結
27.1 公共建模問題
27.2 共享的分析結果
術語表
參考文獻
