图书介绍
Petri网的行为理论及其应用PDF|Epub|txt|kindle电子书版本网盘下载
- 蒋昌俊著 著
- 出版社： 北京：高等教育出版社
- ISBN：7040115662
- 出版时间：2003
- 标注页数：177页
- 文件大小：8MB
- 文件页数：186页
- 主题词：计算机网络
PDF下载
下载说明
Petri网的行为理论及其应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
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与CCS8
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