關(guān)于我們
書單推薦
新書推薦

基于Petri網(wǎng)的計算樹邏輯模型檢測

基于Petri網(wǎng)的計算樹邏輯模型檢測

定  價:108 元

        

  • 作者:劉關(guān)俊,何雷鋒
  • 出版時間:2024/1/1
  • ISBN:9787030772848
  • 出 版 社:科學(xué)出版社
  • 中圖法分類:TP3 
  • 頁碼:208
  • 紙張:
  • 版次:31
  • 開本:B5
9
7
7
8
7
7
2
0
8
3
4
0
8

讀者對象:博士、碩士研究生,高年級大學(xué)本科生,軟件系統(tǒng)分析設(shè)計人員,以及相關(guān)科研人員

本書主要介紹原型 Petri 網(wǎng)、知識 Petri 網(wǎng)、帶有優(yōu)先級的時間 Petri網(wǎng),用于對有限狀態(tài)并發(fā)系統(tǒng)控制流、安全多方計算協(xié)議、多處理器搶占式實時系統(tǒng)等在一定層級上的抽象建模,如刻畫并發(fā)、選擇、沖突、多方交互、多方認(rèn)知過程、(搶占式)資源分配、事件的實時性約束等。本書介紹的計算樹邏輯、知識計算樹邏輯、時間計算樹邏輯等可以用于規(guī)約這些系統(tǒng)所關(guān)注的設(shè)計需求,如無死鎖、公平性、隱私性、可調(diào)度性、最壞執(zhí)行時間等。本書重點介紹使用這些 Petri 網(wǎng)模型驗證以上時序邏輯的算法。另外,本書介紹簡化有序二叉決策圖,介紹如何將其用于表達(dá) Petri 網(wǎng)的狀態(tài)、狀態(tài)間的遷移關(guān)系及狀態(tài)間的等價關(guān)系,并將其應(yīng)用于計算樹邏輯與 知識計算樹邏輯的模型檢測上。

更多科學(xué)出版社服務(wù),請掃碼獲取。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容