![Petri网活性与应用](https://cover.qianqiantushu.cc/77/s6215dbf.jpg)
第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
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《数据库技术与应用 Access 2010 微课版 第2版》刘卫国主编 2020
- 《区块链DAPP开发入门、代码实现、场景应用》李万胜著 2019
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《当代翻译美学的理论诠释与应用解读》宁建庚著 2019
- 《第一性原理方法及应用》李青坤著 2019
- 《教师教育系列教材 心理学原理与应用 第2版 视频版》郑红,倪嘉波,刘亨荣编;陈冬梅责编 2020
- 《物联网与嵌入式技术及其在农业上的应用》马德新 2019
- 《Petri网活性与应用》刘关俊 2011
- 《新概念英语 英汉对照本 第2册》张德富,郭兴家,王福林,韦振雄,张关俊 1985
- 《西藏班公湖-怒江成矿带成矿地质》耿全如,张璋,关俊雷,彭智敏,祝向平,马东方著 2016
- 《中学教材全解 九年级数学 上 浙江教育版》薛金星总主编;康风星本册主编;刘关永副主编 2012
- 《历经沧桑话短长 1933年-1985年》关俊夫 1985
- 《活力临安 临安市创建浙江省体育强市纪实 2012》黄晓明主编;刘关成,胡仙,吴晓武,周卫庆副主编 2222
- 《新概念英语 英汉对照本 第2册》[英]A·G·Alexander原著;张德富,郭兴家,王福林,韦振雄,张关俊译注 1985
- 《自主学习与实施策略》关俊奇主编 2016
- 《均线精讲 从入门到精通》关俊强编著 2019
- 《主导英语 第4册 修订本》L.G.ALEXANDER著;张德富,张关俊等译注 1991