PETRI网理论与系统模拟PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:(美)J.L.Peterson著;吴哲辉译
- 出 版 社:徐州:中国矿业大学出版社
- 出版年份:1989
- ISBN:7810212990
- 页数:293 页
第一章导言 1
1.1模拟 1
1.2系统的特性 2
目录 3
序言 3
1.3 Petri网的早期发展 3
1.4 Petri网理论的应用 4
1.5应用Petri网理论与纯Petri网理论 5
1.6进一步阅读 6
1.7进一步研究的课题 7
第二章基本定义 8
2.1 Petri网结构 8
2.2 Petri网图 11
2.3 Petri网的标识 17
2.4 Petri网的运行法则 20
2.5 Petri网状态空间 26
2.6其他形式的Petri网定义 30
2.8进一步研究的课题 33
2.7进一步阅读 33
第三章用Petri网进行模拟 35
3.1事件和条件 35
3.2并发和冲突 39
3.3计算机硬件 45
3.4计算机软件 60
3.5其他系统 75
3.6 进一步阅读 83
3.7进一步研究的课题 84
第四章Petri网分析 85
4.1关于Petri网分析的问题 85
4.2分析技术 97
4.2.1可达性树 114
4.2.2矩阵方程 120
4.3进一步阅读 120
4.4进一步研究的课题 123
第五章复杂度和可决定性 123
5.2可达性问题 128
5.1分析问题之间的可约性 128
5.3加限制条件的Petri网结构 132
5.4活性与可达性 136
5.5不可决定的结果 142
5.6可达性问题的复杂度 155
5.7进一步阅读 159
5.8进一步研究的课题 160
6.1动机 162
第六章Petri网语言 162
6.2有关形式语言理论的概念 164
6.3 Petri网语言的定义 166
6.4Petri网语言的性质 173
6.5封闭性质 178
6.6 Petri网语言与其他语言类 191
6.7一些补充结果 199
6.8进一步阅读 201
6.9进一步研究的课题 201
第七章扩充的和加限制条件的Petri网模型 203
7.1 Petri网模型的局限性 204
7.2扩充 210
7.3增广Petri网与寄存器机 215
7.4 Petri网子类 218
7.5进一步阅读 222
7.6进一步研究的课题 224
第八章平行计算的有关模型 225
8.2标识图 228
8.3计算图 228
8.1有限状态机 228
8.4 P/V系统 231
8.5信息传输系统 234
8.6 UCLA图 241
8.7向量加法与置换系统 245
8.8增广Petri网模型 249
8.9进一步阅读 249
8.10进一步研究的课题 250
附录 袋论简述 251
加注释的参考文献目录 255
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《管理信息系统习题集》郭晓军 2016
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《情报学 服务国家安全与发展的现代情报理论》赵冰峰著 2018
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《新课标背景下英语教学理论与教学活动研究》应丽君 2018
- 《党员干部理论学习培训教材 理论热点问题党员干部学习辅导》(中国)胡磊 2018
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《当代翻译美学的理论诠释与应用解读》宁建庚著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《清至民国中国西北戏剧经典唱段汇辑 第8卷》孔令纪 2018