| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 绪论 | 第8-15页 |
| ·课题的研究目的和意义 | 第8-10页 |
| ·研究背景 | 第8-9页 |
| ·形式化方法介绍 | 第9-10页 |
| ·国内外研究现状 | 第10-12页 |
| ·本文研究内容和结构安排 | 第12-15页 |
| 第2章 理论基础 | 第15-27页 |
| ·引言 | 第15页 |
| ·梯形图 | 第15-19页 |
| ·Petri 网的基本概念、性质和分析方法 | 第19-25页 |
| ·Petri 网的基本概念 | 第19-22页 |
| ·Petri 网的基本性质 | 第22-23页 |
| ·Petri 网的分析方法 | 第23-25页 |
| ·图 | 第25-26页 |
| ·小结 | 第26-27页 |
| 第3章 梯形图程序的 Petri 网建模方法 | 第27-56页 |
| ·引言 | 第27页 |
| ·模型框架和建模思路 | 第27-28页 |
| ·将梯形图程序转换为普通 Petri 网模型的算法 | 第28-37页 |
| ·建模算法 | 第28-32页 |
| ·示例分析 | 第32-37页 |
| ·带计数器梯形图程序的 Petri 网建模 | 第37-50页 |
| ·计数器的 Petri 网模型 | 第37-40页 |
| ·带计数器梯形图的 Petri 网模型建立规则 | 第40-45页 |
| ·实例分析 | 第45-50页 |
| ·Petri 网模型的简化技术 | 第50-55页 |
| ·冗余变迁去除算法 | 第50-51页 |
| ·输出变迁简化算法 | 第51-53页 |
| ·实例分析 | 第53-55页 |
| ·小结 | 第55-56页 |
| 第4章 基于 Petri 网的 PLC 系统状态空间计算方法 | 第56-69页 |
| ·引言 | 第56页 |
| ·基于 Petri 网的 PLC 系统状态空间计算方法 | 第56-62页 |
| ·算法原理 | 第56-57页 |
| ·基于 PLC 工作机理的可达图计算方法 | 第57-61页 |
| ·基于 PLC 可达图的程序分析 | 第61-62页 |
| ·示例分析 | 第62-68页 |
| ·小结 | 第68-69页 |
| 第5章 梯形图竞争状态检测方法 | 第69-78页 |
| ·引言 | 第69页 |
| ·梯形图的竞争状态 | 第69-70页 |
| ·“竞态”检测方法 | 第70-74页 |
| ·检测原理 | 第70页 |
| ·基于 PLC 可达图的“竞态”检测方法 | 第70-72页 |
| ·“竞态”条件的分析 | 第72-74页 |
| ·示例分析 | 第74-77页 |
| ·小结 | 第77-78页 |
| 第6章 总结与展望 | 第78-81页 |
| ·总结 | 第78-80页 |
| ·展望 | 第80-81页 |
| 参考文献 | 第81-85页 |
| 致谢 | 第85-86页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第86-87页 |
