目 录 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