- 作 者：刘关俊
- 出 版 社：上海：同济大学出版社
- 出版年份：2011
- ISBN：
- 标注页数：129 页
- PDF页数： 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源 ≥129页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 引言 1
1.1 研究背景 1
1.2 研究现状 2
1.3 本文工作 8
1.4 章节安排 10
第2章 PETRI网的基本概念 11
第3章 规则网与弱持续网的活性 15
3.1 规则网与弱持续网的定义 15
3.2 规则网的活性 16
3.3 规则网的结构活性 18
3.4 弱持续网的活性 19
3.5 小结 22
第4章 WS3PR的活性 23
4.1 WS3PR的定义 23
4.2 WS3PR的活性 25
4.3 小结 32
第5章 基于关键资源／活动库所对的预防S3PR死锁的策略 33
5.1 关键资源／活动库所对及其覆盖 33
5.2 Ⅰ-型死锁预防策略 35
5.3 Ⅱ-型死锁预防策略 40
5.4 覆盖的求解 42
5.5 应用 43
5.6 小结 48
第6章 基于依赖虹吸可控性判定的死锁预防策略 49
6.1 预防S3PR死锁的E-策略与LZ-策略 49
6.2 改进的可控性判定条件 53
6.3 一个折衷的预防S3PR死锁的策略 58
6.4 应用 59
6.5 小结 64
第7章 基于缓冲区划分的死锁预防策略 65
7.1 具有缓冲区的线性流程网系统 65
7.2 具有缓冲区的线性流程网系统的活性 68
7.3 具有缓冲区的装配网系统 71
7.4 具有缓冲区的装配网系统的活性 73
7.5 应用 74
7.6 小结 78
第8章 基于PETRI网的交互模型分类法 79
8.1 基于PETRI网的交互模型的分类 79
8.2 G-MI-MO-IM的定义 82
8.3 四级兼容性 85
8.4 G-MI-MO-IM的可逆性 87
8.5 小结 90
第9章 MG-MI-SO-IM的性质分析 91
9.1 MG-MI-SO-IM的定义 91
9.2 MG-MI-SO-IM的活性 93
9.3 MG-MI-SO-IM的活且有界性 95
9.4 MG-MI-SO-IM的可达性 97
9.5 MG-MI-SO-IM的兼容性 99
9.6 应用 101
9.7 小结 102
第10章 受限G-MI-MO-IM的性质分析 103
10.1 受限G-MI-MO-IM的定义 103
10.2 受限G-MI-MO-IM的活性 106
10.3 受限G-MI-MO-IM的可达性 107
10.4 应用 112
10.5 小结 114
第11章 总结与展望 115
11.1 本文工作总结 115
11.2 进一步的工作 116
致谢 117
参考文献 119
个人简历、在读期间发表的学术论文与研究成果 129