Petri網活性與套用/同濟博士論叢

內容簡介

《Petri網活性與套用/同濟博士論叢》從理論研究與套用結合兩個方面著手，以Petri網活性為主線，開展了Perti網（子類）的活性判定、基於Petri網的資源分配系統死鎖預防策略、基於Petri網的互動式系統活性與兼容性分析等三方面的研究。《Petri網活性與套用/同濟博士論叢》適合相關專業的研究人員和高校師生閱讀。

圖書目錄

總序

論叢前言

前言

第1章引言

1．1 研究背景

1．2 研究現狀

1．3 本書工作

1．4 章節安排

第2章 Petri網的基本概念

第3章規則網與弱持續網的活性

3．1 規則網與弱持續網的定義

3．2 規則網的活性

3．3 規則網的結構活性

3．4 弱持續網的活性

3．5 小結

第4章加權的具有資源的簡單順序流程系統（WS3PR）的活性

4．1 WS3PR的定義

4．2 WS3PR的活性

4．3 小結

第5章基於關鍵資源/活動庫所對的預防S3PR死鎖的策略

5．1 關鍵資源/活動庫所對及其覆蓋

5．2 I-型死鎖預防策略

5．3 II-型死鎖預防策略

5．4 覆蓋的求解

5．5 套用

5．6 小結

第6章基於依賴虹吸可控性判定的死鎖預防策略

6．1 預防S3PR死鎖的E-策略與LZ-策略

6．2 改進的可控性判定條件

6．3 一個折中的預防S3PR死鎖的策略

6．4 套用

6．5 小結

第7章基於緩衝區劃分的死鎖預防策略

7．1 具有緩衝區的線性流程網系統

7．2 具有緩衝區的線性流程網系統的活性

7．3 具有緩衝區的裝配網系統

7．4 具有緩衝區的裝配網系統的活性

7．5 套用

7．6 小結

第8章基於Petri網的互動模型分類法

8．1 基於Petri網的互動模型的分類

8．2 G-MI-MO-IM的定義

8．3 四級兼容性

8．4 G-MI-MO-IM的可逆性

8．5 小結

第9章 MG-MI-SO-IM的性質分析

9．1 MG-MI-SO-IM的定義

9．2 MG-MI-SO-IM的活性

9．3 MG-MI-SO-IM的活且有界性

9．4 MG-MI-SO-IM的可達性

Petri網活性與套用/同濟博士論叢

基本介紹

內容簡介

圖書目錄

熱門詞條