Petri网的行为理论及其应用PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:蒋昌俊著
- 出 版 社:北京:高等教育出版社
- 出版年份:2003
- ISBN:7040115662
- 页数:177 页
1.1 引言 1
1.2 Petri网研究现状 1
第1章 绪论 1
1.2.1 Petri网理论研究 2
1.2.2 Petri网应用研究 6
1.2.3 Petri网工具研制 7
1.3 CSP与CCS 8
1.4 迹语言与偏序语言 9
1.5 PN机 10
1.6 内容安排 11
参考文献 12
2.1 Petri网基本概念 19
第2章 基本知识 19
2.2 Petri网基本分析技术 21
2.3 Petri网基本性质 24
2.4 Petri网的进程 25
2.5 Petri网的合成 26
参考文献 27
第3章 Petri网的顺序行为关系 29
3.1 引言 29
3.2 基于Petri网语言的活性刻划 29
3.3 活性控制 33
3.4 连接操作的语言关系 38
3.5 连接操作的行为不变性 46
3.6 应用 47
3.7 本章小结 49
参考文献 50
第4章 Petri网的偏序行为关系 52
4.1 引言 52
4.2 同步合成PN的进程语言公式 52
4.3 Petri网的进程语义性质 58
4.4 本章小结 63
参考文献 63
5.1 引言 65
5.2 动态不变性 65
第5章 Petri网的动态不变性 65
5.3 一个柔性装配单元的分析 71
5.4 本章小结 74
参考文献 74
第6章 Petri网的行为相关性 78
6.1 引言 78
6.2 行为相关性 79
6.3 行为相关性分析 85
6.4 应用 88
6.5 本章小结 91
参考文献 91
7.2 发射序列测试 94
7.1 引言 94
第7章 Petri网顺序序列的测试与判定 94
7.3 合法发射序列的判定 97
7.3.1 算法基础 97
7.3.2 判定算法 101
7.3.3 算法复杂性 102
7.3.4 例子 103
7.4 测试算法及其复杂性 105
7.5 一个实际系统的分析 108
7.6 本章小结 115
参考文献 115
8.2 控制器综合算法 118
8.1 引言 118
第8章 并发控制器设计的Petri网方法 118
8.3 三类异常现象的处理 120
8.3.1 死锁现象 120
8.3.2 溢出现象 122
8.3.3 行为异变现象 123
8.4 本章小结 124
参考文献 124
第9章 并发程序验证Petri网方法 125
9.1 引言 125
9.2 同步合成运算的概念及性质 126
9.3 Ada程序的Petri网模型 128
9.4 Ada网的同步合成运算及其可达图求解 132
9.5.1 Ada程序的安全性 137
9.5 基于Petri网语言的Ada程序分析 137
9.5.2 活性 139
9.6 PVM程序的Petri网模型 140
9.7 PVM程序到Petri网模型的转换 142
9.8 PVM程序验证算法 146
9.9 举例说明 151
9.10 本章小结 153
参考文献 153
第10章 并发验证系统的原理与实现 157
10.1 引言 157
10.2.1 SFC简介 158
10.2 SFC与Petri网的对应关系 158
10.2.2 SFC与Petri网的对应关系 159
10.3 系统模型及主要算法 159
10.3.1 SFC到Petri的自动转化 159
10.3.2 验证算法 161
10.4 系统开发环境及实验情况 161
10.5 系统实现的若干关键技术 165
10.5.1 安全Petri网及其可视化运行的图形表示 165
10.5.2 可视化运行的设计 167
10.5.3 系统中操作向导的设计与实现 169
参考文献 176
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《情报学 服务国家安全与发展的现代情报理论》赵冰峰著 2018
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《新课标背景下英语教学理论与教学活动研究》应丽君 2018
- 《党员干部理论学习培训教材 理论热点问题党员干部学习辅导》(中国)胡磊 2018
- 《数据库技术与应用 Access 2010 微课版 第2版》刘卫国主编 2020
- 《区块链DAPP开发入门、代码实现、场景应用》李万胜著 2019
- 《全国高等中医药行业“十三五”创新教材 中医药学概论》翟华强 2019
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018