本書主要介紹Petri網(wǎng)的元展這一用于并發(fā)系統(tǒng)模型檢測的方法，利用元展檢測并發(fā)系統(tǒng)健壯性、兼容性與死鎖，并利用元展檢測能夠表達(dá)更多的并發(fā)系統(tǒng)設(shè)計(jì)需求的計(jì)算樹邏輯，同時(shí)還探討了健壯性、兼容性、死鎖等判定問題的復(fù)雜度。全書共10章，具有嚴(yán)格的形式化定義、豐富的示例與圖文解釋、嚴(yán)謹(jǐn)?shù)亩ɡ砑捌渥C明，以及清晰的算法描述。

更多科學(xué)出版社服務(wù)，請掃碼獲取。