Petri網(wǎng)活性與應(yīng)用（精）

定　價(jià)：￥68.00

作　者：	劉關(guān)俊，蔣昌俊
出版社：	同濟(jì)大學(xué)出版社
叢編項(xiàng)：	同濟(jì)博士論叢
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787560874289	出版時(shí)間：	2020-04-01	包裝：
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	192	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《Petri網(wǎng)活性與應(yīng)用/同濟(jì)博士論叢》從理論研究與應(yīng)用結(jié)合兩個(gè)方面著手，以Petri網(wǎng)活性為主線，開(kāi)展了Perti網(wǎng)（子類(lèi)）的活性判定、基于Petri網(wǎng)的資源分配系統(tǒng)死鎖預(yù)防策略、基于Petri網(wǎng)的交互式系統(tǒng)活性與兼容性分析等三方面的研究。《Petri網(wǎng)活性與應(yīng)用/同濟(jì)博士論叢》適合相關(guān)專(zhuān)業(yè)的研究人員和高校師生閱讀。

作者簡(jiǎn)介

暫缺《Petri網(wǎng)活性與應(yīng)用（精）》作者簡(jiǎn)介

圖書(shū)目錄

總序
論叢前言
前言
第1章引言
1．1 研究背景
1．2 研究現(xiàn)狀
1．3 本書(shū)工作
1．4 章節(jié)安排
第2章 Petri網(wǎng)的基本概念
第3章規(guī)則網(wǎng)與弱持續(xù)網(wǎng)的活性
3．1 規(guī)則網(wǎng)與弱持續(xù)網(wǎng)的定義
3．2 規(guī)則網(wǎng)的活性
3．3 規(guī)則網(wǎng)的結(jié)構(gòu)活性
3．4 弱持續(xù)網(wǎng)的活性
3．5 小結(jié)
第4章加權(quán)的具有資源的簡(jiǎn)單順序流程系統(tǒng)（WS3PR）的活性
4．1 WS3PR的定義
4．2 WS3PR的活性
4．3 小結(jié)
第5章基于關(guān)鍵資源／活動(dòng)庫(kù)所對(duì)的預(yù)防S3PR死鎖的策略
5．1 關(guān)鍵資源／活動(dòng)庫(kù)所對(duì)及其覆蓋
5．2 I-型死鎖預(yù)防策略
5．3 II-型死鎖預(yù)防策略
5．4 覆蓋的求解
5．5 應(yīng)用
5．6 小結(jié)
第6章基于依賴(lài)虹吸可控性判定的死鎖預(yù)防策略
6．1 預(yù)防S3PR死鎖的E-策略與LZ-策略
6．2 改進(jìn)的可控性判定條件
6．3 一個(gè)折中的預(yù)防S3PR死鎖的策略
6．4 應(yīng)用
6．5 小結(jié)
第7章基于緩沖區(qū)劃分的死鎖預(yù)防策略
7．1 具有緩沖區(qū)的線性流程網(wǎng)系統(tǒng)
7．2 具有緩沖區(qū)的線性流程網(wǎng)系統(tǒng)的活性
7．3 具有緩沖區(qū)的裝配網(wǎng)系統(tǒng)
7．4 具有緩沖區(qū)的裝配網(wǎng)系統(tǒng)的活性
7．5 應(yīng)用
7．6 小結(jié)
第8章基于Petri網(wǎng)的交互模型分類(lèi)法
8．1 基于Petri網(wǎng)的交互模型的分類(lèi)
8．2 G-MI-MO-IM的定義
8．3 四級(jí)兼容性
8．4 G-MI-MO-IM的可逆性
8．5 小結(jié)
第9章 MG-MI-SO-IM的性質(zhì)分析
9．1 MG-MI-SO-IM的定義
9．2 MG-MI-SO-IM的活性
9．3 MG-MI-SO-IM的活且有界性
9．4 MG-MI-SO-IM的可達(dá)性
9．5 MG-MI-SO-IM的兼容性
9．6 應(yīng)用
9．7 小結(jié)
第10章受限G-MI-Mo一IM的性質(zhì)分析
10．1 受限G-MI-MO-IM的定義
10．2 受限G-MI-MO-IM的活性
10．3 受限G-MI-MO-IM的可達(dá)性
10．4 應(yīng)用
10．5 小結(jié)
第11章總結(jié)與展望
11．1 本書(shū)工作總結(jié)
參考文獻(xiàn)
后記