佩特利网和逻辑控制器图形表示工具 GRAFCETPDF电子书下载

目 录 1

译者的话 1

中文版序言 1

主要符号 1

第1章 佩特利网（Petri;Nets—PN） 1

1.1基本概念 1

1.2特殊的PN 4

1.3 PN的性质 10

1.4标识图及可覆盖树 20

1.5线性代数法 23

1.6简化方法 28

1.7其它结果 37

1.8 PN的直观性 39

1.9小结 41

第2章 非自主PN 43

2.1同步PN（Synchronized PN） 43

2.2时延PN（TimedPN） 53

2.3解释PN（Interpreted PN） 61

2.4随机PN（Stochastic PN） 69

第3章连续与混合PN 77

3.1 自主连续PN（Autonomous Continuous PN） 77

3.2时延连续PN（Timed Continuous PN） 82

3.3恒定速度的连续PN（CCPN） 86

3.4速度变化的连续PN（VCPN） 95

3.5离散事件系统的建模 97

3.6混合PN（Hybrid PN） 98

3.7小结 107

4.1直观表示 111

第4章 有色PN 111

4.2有色PN的定义 114

4.3建模 116

4.4应用举例 121

4.5有色PN的性质 123

第5章逻辑控制器图形表示工具——Grafcet 126

5.1基本元素 126

5.2状态的演变 128

5.3用Grafcet描述系统的例子 130

5.4动作与接收性 137

5.5 Grafcet的描述性算法 144

5.6宏步与伪宏步 152

5.7宏动作 157

5.8 Grafcet的描述能力 162

5.9小结 167

总结 168

习题 170

第1章 170

第2章 176

第3章 180

第4章 181

第5章 183

习题解答 194

第1章 194

第2章 206

第3章 212

第4章 217

第5章 221

参考文献 233