《Petri網的元展：一種並發系統模型檢測方法》是2020年科學出版社出版的圖書，作者是劉關俊。
基本介紹
- 中文名：Petri網的元展：一種並發系統模型檢測方法
- 作者：劉關俊
- 出版社：科學出版社
- ISBN：9787030662590
內容簡介,圖書目錄,
內容簡介
本書主要介紹Petri網的元展這一用於並發系統模型檢測的方法，利用元展檢測並發系統健壯性、兼容性與死鎖，並利用元展檢測能夠表達更多的並發系統設計需求的計算樹邏輯，同時還探討了健壯性、兼容性、死鎖等判定問題的複雜度。全書共10章，具有嚴格的形式化定義、豐富的示例與圖文解釋、嚴謹的定理及其證明，以及清晰的算法描述。
圖書目錄
- 序言
- 第1章緒論
- 第2章基本知識
- 第3章並發系統若干判定問題的複雜度
- 第4章Petri網的元展
- 第5章基於元展的工作流系統健壯性檢測
- 第6章基於元展的跨組織工作流網兼容性檢測
- 第7章基於元展的資源分配系統死鎖檢測
- 第8章基於元展的計算樹邏輯公式檢測
- 第9章模型檢測工具BUCKER簡介
- 第10章總結與展望
- 參考文獻
- 關鍵字中英文對照表
